{ public Options_Dialog()
{
Text = AppMain.AppName + " - Options";
StartPosition = FormStartPosition.CenterParent;
FormBorderStyle = FormBorderStyle.FixedDialog;
ClientSize = new Size(610, 420);
MaximizeBox = false;
MinimizeBox = false;
ControlBox = false;
ShowInTaskbar = false;
TabControl Tabs = new TabControl();
Tabs.Parent = this;
Tabs.Dock = DockStyle.Fill;
Tabs.Multiline = true;
Options_General General = new Options_General();
Tabs.Controls.Add(General);
Options_Font Fonts = new Options_Font();
Tabs.Controls.Add(Fonts);
Options_Colors Colors = new Options_Colors();
Tabs.Controls.Add(Colors);
Options_Solving_Model Model = new Options_Solving_Model();
Tabs.Controls.Add(Model);
Options_Solving_Executables Executables = new Options_Solving_Executables();
Tabs.Controls.Add(Executables);
Options_Registry Registry = new Options_Registry();
Tabs.Controls.Add(Registry);
new OKButton(this);
}
{ public Options_Dialog ()
{ Text = AppMain.AppName + " - Options" ;
StartPosition = FormStartPosition.CenterParent ;
FormBorderStyle = FormBorderStyle.FixedDialog ;
ClientSize = new Size (610, 420) ;
MaximizeBox = false ;
MinimizeBox = false ;
ControlBox = false ;
ShowInTaskbar = false ;
TabControl Tabs = new TabControl () ;
Tabs.Parent = this ;
Tabs.Dock = DockStyle.Fill ;
Tabs.Multiline = true ;
Options_General General = new Options_General () ;
Tabs.Controls.Add (General) ;
Options_Font Fonts = new Options_Font () ;
Tabs.Controls.Add (Fonts) ;
Options_Colors Colors = new Options_Colors () ;
Tabs.Controls.Add (Colors) ;
Options_Solving_Model Model = new Options_Solving_Model () ;
Tabs.Controls.Add (Model) ;
Options_Solving_Executables Executables = new Options_Solving_Executables () ;
Tabs.Controls.Add (Executables) ;
Options_Registry Registry = new Options_Registry () ;
Tabs.Controls.Add (Registry) ;
new OKButton (this) ;
}
public Options_Colors ()
{ This = this ;
Text = " Colors " ;
String Name ;
Label NameLabel ;
Color NameColor ;
Name = "Tag" ;
NameLabel = new Label () ;
NameLabel.Parent = this ;
NameLabel.Location = new Point (20, 10) ;
NameLabel.AutoSize = true ;
NameLabel.Text = Name ;
NameColor = ColorManager.Get (Name) ;
ColorLabel1 = new Label () ;
ColorLabel1.Parent = this ;
ColorLabel1.Location = new Point (85, 10) ;
ColorLabel1.AutoSize = true ;
ColorLabel1.Text = NameColor.ToString () ;
ColorLabel1.ForeColor = NameColor ;
ColorLabel1.Click += new EventHandler (OnClick1) ;
Name = "Content" ;
NameLabel = new Label () ;
NameLabel.Parent = this ;
NameLabel.Location = new Point (20, 25) ;
NameLabel.AutoSize = true ;
NameLabel.Text = Name ;
NameColor = ColorManager.Get (Name) ;
ColorLabel2 = new Label () ;
ColorLabel2.Parent = this ;
ColorLabel2.Location = new Point (85, 25) ;
ColorLabel2.AutoSize = true ;
ColorLabel2.Text = NameColor.ToString () ;
ColorLabel2.ForeColor = NameColor ;
ColorLabel2.Click += new EventHandler (OnClick2) ;
Name = "Processing" ;
NameLabel = new Label () ;
NameLabel.Parent = this ;
NameLabel.Location = new Point (20, 40) ;
NameLabel.AutoSize = true ;
NameLabel.Text = Name ;
NameColor = ColorManager.Get (Name) ;
ColorLabel3 = new Label () ;
ColorLabel3.Parent = this ;
ColorLabel3.Location = new Point (85, 40) ;
ColorLabel3.AutoSize = true ;
ColorLabel3.Text = NameColor.ToString () ;
ColorLabel3.ForeColor = NameColor ;
ColorLabel3.Click += new EventHandler (OnClick3) ;
Name = "Comment" ;
NameLabel = new Label () ;
NameLabel.Parent = this ;
NameLabel.Location = new Point (20, 55) ;
NameLabel.AutoSize = true ;
NameLabel.Text = Name ;
NameColor = ColorManager.Get (Name) ;
ColorLabel4 = new Label () ;
ColorLabel4.Parent = this ;
ColorLabel4.Location = new Point (85, 55) ;
ColorLabel4.AutoSize = true ;
ColorLabel4.Text = NameColor.ToString () ;
ColorLabel4.ForeColor = NameColor ;
ColorLabel4.Click += new EventHandler (OnClick4) ;
Name = "Incidental" ;
NameLabel = new Label () ;
NameLabel.Parent = this ;
NameLabel.Location = new Point (20, 70) ;
NameLabel.AutoSize = true ;
NameLabel.Text = Name ;
NameColor = ColorManager.Get (Name) ;
ColorLabel5 = new Label () ;
ColorLabel5.Parent = this ;
ColorLabel5.Location = new Point (85, 70) ;
ColorLabel5.AutoSize = true ;
ColorLabel5.Text = NameColor.ToString () ;
ColorLabel5.ForeColor = NameColor ;
ColorLabel5.Click += new EventHandler (OnClick5) ;
new Note (this, 20, 90, "Click on color to edit.") ;
}
public Options_Colors()
{
This = this;
Text = " Colors ";
String Name;
Label NameLabel;
Color NameColor;
Name = "Tag";
NameLabel = new Label();
NameLabel.Parent = this;
NameLabel.Location = new Point(20, 10);
NameLabel.AutoSize = true;
NameLabel.Text = Name;
NameColor = ColorManager.Get(Name);
ColorLabel1 = new Label();
ColorLabel1.Parent = this;
ColorLabel1.Location = new Point(85, 10);
ColorLabel1.AutoSize = true;
ColorLabel1.Text = NameColor.ToString();
ColorLabel1.ForeColor = NameColor;
ColorLabel1.Click += new EventHandler(OnClick1);
Name = "Content";
NameLabel = new Label();
NameLabel.Parent = this;
NameLabel.Location = new Point(20, 25);
NameLabel.AutoSize = true;
NameLabel.Text = Name;
NameColor = ColorManager.Get(Name);
ColorLabel2 = new Label();
ColorLabel2.Parent = this;
ColorLabel2.Location = new Point(85, 25);
ColorLabel2.AutoSize = true;
ColorLabel2.Text = NameColor.ToString();
ColorLabel2.ForeColor = NameColor;
ColorLabel2.Click += new EventHandler(OnClick2);
Name = "Processing";
NameLabel = new Label();
NameLabel.Parent = this;
NameLabel.Location = new Point(20, 40);
NameLabel.AutoSize = true;
NameLabel.Text = Name;
NameColor = ColorManager.Get(Name);
ColorLabel3 = new Label();
ColorLabel3.Parent = this;
ColorLabel3.Location = new Point(85, 40);
ColorLabel3.AutoSize = true;
ColorLabel3.Text = NameColor.ToString();
ColorLabel3.ForeColor = NameColor;
ColorLabel3.Click += new EventHandler(OnClick3);
Name = "Comment";
NameLabel = new Label();
NameLabel.Parent = this;
NameLabel.Location = new Point(20, 55);
NameLabel.AutoSize = true;
NameLabel.Text = Name;
NameColor = ColorManager.Get(Name);
ColorLabel4 = new Label();
ColorLabel4.Parent = this;
ColorLabel4.Location = new Point(85, 55);
ColorLabel4.AutoSize = true;
ColorLabel4.Text = NameColor.ToString();
ColorLabel4.ForeColor = NameColor;
ColorLabel4.Click += new EventHandler(OnClick4);
Name = "Incidental";
NameLabel = new Label();
NameLabel.Parent = this;
NameLabel.Location = new Point(20, 70);
NameLabel.AutoSize = true;
NameLabel.Text = Name;
NameColor = ColorManager.Get(Name);
ColorLabel5 = new Label();
ColorLabel5.Parent = this;
ColorLabel5.Location = new Point(85, 70);
ColorLabel5.AutoSize = true;
ColorLabel5.Text = NameColor.ToString();
ColorLabel5.ForeColor = NameColor;
ColorLabel5.Click += new EventHandler(OnClick5);
new Note(this, 20, 90, "Click on color to edit.");
}
