コード例 #1
0
        void RemovePanel(RunConfigInfo rc)
        {
            var section = sections [rc];

            sections.Remove(rc);
            ParentDialog.RemoveSection(section);
        }
コード例 #2
0
 public RunConfigurationOptionsDialogSection(RunConfigInfo configInfo) : base(typeof(RunConfigurationPanel))
 {
     this.RunConfiguration = configInfo.EditedConfig;
     Label       = configInfo.EditedConfig.Name;
     HeaderLabel = GettextCatalog.GetString("Run Configuration: {0}", configInfo.EditedConfig.Name);
     Icon        = "md-prefs-play";
 }
コード例 #3
0
        internal void AddConfiguration(ProjectRunConfiguration editedConfig)
        {
            var c = new RunConfigInfo {
                EditedConfig = editedConfig
            };

            configs.Add(c);
            AddPanel(c);
        }
コード例 #4
0
        void AddPanel(RunConfigInfo configInfo)
        {
            configInfo.Project = Project;
            var sec = new RunConfigurationOptionsDialogSection(configInfo);

            sec.Fill = true;
            sections [configInfo] = sec;
            ParentDialog.AddChildSection(this, sec, configInfo);
        }
コード例 #5
0
        internal void ReplaceConfiguration(ProjectRunConfiguration oldConf, ProjectRunConfiguration newConf)
        {
            var i    = configs.FindIndex(ci => ci.EditedConfig == oldConf);
            var oldc = configs [i];
            var newc = new RunConfigInfo {
                EditedConfig = newConf
            };

            configs [i] = newc;
            RemovePanel(oldc);
            AddPanel(newc);
        }
コード例 #6
0
        public override void Initialize(OptionsDialog dialog, object dataObject)
        {
            base.Initialize(dialog, dataObject);

            config = (RunConfigInfo)dataObject;
            editor = RunConfigurationService.CreateEditorForConfiguration(config.EditedConfig);

            box         = new Gtk.VBox();
            box.Spacing = 12;
            userConf    = new Gtk.CheckButton(GettextCatalog.GetString("User-specific configuration"));
            box.PackEnd(userConf, false, false, 0);
            box.PackEnd(new Gtk.HSeparator(), false, false, 0);
            box.ShowAll();

            editor.Changed += Editor_Changed;
        }
コード例 #7
0
		void RemovePanel (RunConfigInfo rc)
		{
			var section = sections [rc];
			sections.Remove (rc);
			ParentDialog.RemoveSection (section);
		}
コード例 #8
0
		void AddPanel (RunConfigInfo configInfo)
		{
			configInfo.Project = Project;
			var sec = new RunConfigurationOptionsDialogSection (configInfo);
			sec.Fill = true;
			sections [configInfo] = sec;
			ParentDialog.AddChildSection (this, sec, configInfo);
		}
コード例 #9
0
		public RunConfigurationOptionsDialogSection (RunConfigInfo configInfo): base (typeof(RunConfigurationPanel))
		{
			this.RunConfiguration = configInfo.EditedConfig;
			Label = configInfo.EditedConfig.Name;
			HeaderLabel = GettextCatalog.GetString ("Run Configuration: " + configInfo.EditedConfig.Name);
			Icon = "md-prefs-play";
		}
コード例 #10
0
		internal void ReplaceConfiguration (ProjectRunConfiguration oldConf, ProjectRunConfiguration newConf)
		{
			var i = configs.FindIndex (ci => ci.EditedConfig == oldConf);
			var oldc = configs [i];
			var newc = new RunConfigInfo { EditedConfig = newConf };
			configs [i] = newc;
			RemovePanel (oldc);
			AddPanel (newc);
		}
コード例 #11
0
		internal void AddConfiguration (ProjectRunConfiguration editedConfig)
		{
			var c = new RunConfigInfo { EditedConfig = editedConfig };
			configs.Add (c);
			AddPanel (c);
		}