void RemovePanel(RunConfigInfo rc)
{
var section = sections [rc];
sections.Remove(rc);
ParentDialog.RemoveSection(section);
}
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";
}
internal void AddConfiguration(ProjectRunConfiguration editedConfig)
{
var c = new RunConfigInfo {
EditedConfig = editedConfig
};
configs.Add(c);
AddPanel(c);
}
void AddPanel(RunConfigInfo configInfo)
{
configInfo.Project = Project;
var sec = new RunConfigurationOptionsDialogSection(configInfo);
sec.Fill = true;
sections [configInfo] = sec;
ParentDialog.AddChildSection(this, sec, configInfo);
}
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);
}
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;
}
void RemovePanel (RunConfigInfo rc)
{
var section = sections [rc];
sections.Remove (rc);
ParentDialog.RemoveSection (section);
}
void AddPanel (RunConfigInfo configInfo)
{
configInfo.Project = Project;
var sec = new RunConfigurationOptionsDialogSection (configInfo);
sec.Fill = true;
sections [configInfo] = sec;
ParentDialog.AddChildSection (this, sec, configInfo);
}
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";
}
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);
}
internal void AddConfiguration (ProjectRunConfiguration editedConfig)
{
var c = new RunConfigInfo { EditedConfig = editedConfig };
configs.Add (c);
AddPanel (c);
}