Free cookie consent management tool by TermsFeed Policy Generator

Changeset 2142 for trunk/sources


Ignore:
Timestamp:
07/07/09 00:42:56 (15 years ago)
Author:
swagner
Message:

Adapted shortcuts of "Save all" and "Save as" in AdvancedOptimizationFrontend and OptimizationFrontend (#618)

Location:
trunk/sources
Files:
4 edited

Legend:

Unmodified
Added
Removed

  • trunk/sources/HeuristicLab.AdvancedOptimizationFrontend/3.2/MainForm.Designer.cs

    r1529 r2142  
    4545    /// </summary>
    4646    private void InitializeComponent() {
     47      WeifenLuo.WinFormsUI.Docking.DockPanelSkin dockPanelSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPanelSkin();
     48      WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin autoHideStripSkin1 = new WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin();
     49      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
     50      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient1 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     51      WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin dockPaneStripSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin();
     52      WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient dockPaneStripGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient();
     53      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient2 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     54      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient2 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
     55      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient3 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     56      WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient dockPaneStripToolWindowGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient();
     57      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient4 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     58      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient5 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     59      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient3 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
     60      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient6 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     61      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient7 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
    4762      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(MainForm));
    4863      this.menuStrip = new System.Windows.Forms.MenuStrip();
    … …  
    103118            this.exitToolStripMenuItem});
    104119      this.fileToolStripMenuItem.Name = "fileToolStripMenuItem";
    105       this.fileToolStripMenuItem.Size = new System.Drawing.Size(35, 20);
     120      this.fileToolStripMenuItem.Size = new System.Drawing.Size(37, 20);
    106121      this.fileToolStripMenuItem.Text = "&File";
    107122      //
    … …  
    109124      //
    110125      this.newToolStripMenuItem.Name = "newToolStripMenuItem";
    111       this.newToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     126      this.newToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    112127      this.newToolStripMenuItem.Text = "&New";
    113128      //
    … …  
    116131      this.openToolStripMenuItem.Name = "openToolStripMenuItem";
    117132      this.openToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O)));
    118       this.openToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     133      this.openToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    119134      this.openToolStripMenuItem.Text = "&Open...";
    120135      this.openToolStripMenuItem.Click += new System.EventHandler(this.openToolStripMenuItem_Click);
    … …  
    125140      this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
    126141      this.saveToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
    127       this.saveToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     142      this.saveToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    128143      this.saveToolStripMenuItem.Text = "&Save";
    129144      this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveToolStripMenuItem_Click);
    … …  
    133148      this.saveAsToolStripMenuItem.Enabled = false;
    134149      this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
    135       this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     150      this.saveAsToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
     151                  | System.Windows.Forms.Keys.S)));
     152      this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    136153      this.saveAsToolStripMenuItem.Text = "Save &As...";
    137154      this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.saveAsToolStripMenuItem_Click);
    … …  
    141158      this.saveAllToolStripMenuItem.Enabled = false;
    142159      this.saveAllToolStripMenuItem.Name = "saveAllToolStripMenuItem";
    143       this.saveAllToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
    144                   | System.Windows.Forms.Keys.S)));
    145       this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     160      this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    146161      this.saveAllToolStripMenuItem.Text = "Save Al&l";
    147162      this.saveAllToolStripMenuItem.Click += new System.EventHandler(this.saveAllToolStripMenuItem_Click);
    … …  
    151166      this.closeToolStripMenuItem.Enabled = false;
    152167      this.closeToolStripMenuItem.Name = "closeToolStripMenuItem";
    153       this.closeToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     168      this.closeToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    154169      this.closeToolStripMenuItem.Text = "&Close";
    155170      this.closeToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
    … …  
    159174      this.closeAllToolStripMenuItem.Enabled = false;
    160175      this.closeAllToolStripMenuItem.Name = "closeAllToolStripMenuItem";
    161       this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     176      this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    162177      this.closeAllToolStripMenuItem.Text = "Clos&e All";
    163178      this.closeAllToolStripMenuItem.Click += new System.EventHandler(this.closeAllToolStripMenuItem_Click);
    … …  
    166181      //
    167182      this.toolStripMenuItem1.Name = "toolStripMenuItem1";
    168       this.toolStripMenuItem1.Size = new System.Drawing.Size(188, 6);
     183      this.toolStripMenuItem1.Size = new System.Drawing.Size(192, 6);
    169184      //
    170185      // exitToolStripMenuItem
    171186      //
    172187      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
    173       this.exitToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     188      this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    174189      this.exitToolStripMenuItem.Text = "E&xit";
    175190      this.exitToolStripMenuItem.Click += new System.EventHandler(this.exitToolStripMenuItem_Click);
    … …  
    180195            this.availableOperatorsToolStripMenuItem});
    181196      this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";
    182       this.viewToolStripMenuItem.Size = new System.Drawing.Size(41, 20);
     197      this.viewToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
    183198      this.viewToolStripMenuItem.Text = "&View";
    184199      //
    … …  
    186201      //
    187202      this.availableOperatorsToolStripMenuItem.Name = "availableOperatorsToolStripMenuItem";
    188       this.availableOperatorsToolStripMenuItem.Size = new System.Drawing.Size(192, 22);
     203      this.availableOperatorsToolStripMenuItem.Size = new System.Drawing.Size(186, 22);
    189204      this.availableOperatorsToolStripMenuItem.Text = "Available &Operators...";
    190205      this.availableOperatorsToolStripMenuItem.Click += new System.EventHandler(this.availableOperatorsToolStripMenuItem_Click);
    … …  
    195210            this.collectGarbageToolStripMenuItem});
    196211      this.toolsToolStripMenuItem.Name = "toolsToolStripMenuItem";
    197       this.toolsToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
     212      this.toolsToolStripMenuItem.Size = new System.Drawing.Size(48, 20);
    198213      this.toolsToolStripMenuItem.Text = "&Tools";
    199214      //
    … …  
    201216      //
    202217      this.collectGarbageToolStripMenuItem.Name = "collectGarbageToolStripMenuItem";
    203       this.collectGarbageToolStripMenuItem.Size = new System.Drawing.Size(161, 22);
     218      this.collectGarbageToolStripMenuItem.Size = new System.Drawing.Size(158, 22);
    204219      this.collectGarbageToolStripMenuItem.Text = "Collect &Garbage";
    205220      this.collectGarbageToolStripMenuItem.Click += new System.EventHandler(this.collectGarbageToolStripMenuItem_Click);
    … …  
    210225            this.aboutToolStripMenuItem});
    211226      this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
    212       this.helpToolStripMenuItem.Size = new System.Drawing.Size(40, 20);
     227      this.helpToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
    213228      this.helpToolStripMenuItem.Text = "&Help";
    214229      //
    … …  
    216231      //
    217232      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
    218       this.aboutToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
     233      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(107, 22);
    219234      this.aboutToolStripMenuItem.Text = "&About";
    220235      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
    … …  
    299314      this.dockPanel.ActiveAutoHideContent = null;
    300315      this.dockPanel.Dock = System.Windows.Forms.DockStyle.Fill;
     316      this.dockPanel.DockBackColor = System.Drawing.SystemColors.Control;
    301317      this.dockPanel.DockBottomPortion = 0.33;
    302318      this.dockPanel.DockLeftPortion = 0.33;
    … …  
    307323      this.dockPanel.RightToLeftLayout = true;
    308324      this.dockPanel.Size = new System.Drawing.Size(1016, 663);
     325      dockPanelGradient1.EndColor = System.Drawing.SystemColors.ControlLight;
     326      dockPanelGradient1.StartColor = System.Drawing.SystemColors.ControlLight;
     327      autoHideStripSkin1.DockStripGradient = dockPanelGradient1;
     328      tabGradient1.EndColor = System.Drawing.SystemColors.Control;
     329      tabGradient1.StartColor = System.Drawing.SystemColors.Control;
     330      tabGradient1.TextColor = System.Drawing.SystemColors.ControlDarkDark;
     331      autoHideStripSkin1.TabGradient = tabGradient1;
     332      dockPanelSkin1.AutoHideStripSkin = autoHideStripSkin1;
     333      tabGradient2.EndColor = System.Drawing.SystemColors.ControlLightLight;
     334      tabGradient2.StartColor = System.Drawing.SystemColors.ControlLightLight;
     335      tabGradient2.TextColor = System.Drawing.SystemColors.ControlText;
     336      dockPaneStripGradient1.ActiveTabGradient = tabGradient2;
     337      dockPanelGradient2.EndColor = System.Drawing.SystemColors.Control;
     338      dockPanelGradient2.StartColor = System.Drawing.SystemColors.Control;
     339      dockPaneStripGradient1.DockStripGradient = dockPanelGradient2;
     340      tabGradient3.EndColor = System.Drawing.SystemColors.ControlLight;
     341      tabGradient3.StartColor = System.Drawing.SystemColors.ControlLight;
     342      tabGradient3.TextColor = System.Drawing.SystemColors.ControlText;
     343      dockPaneStripGradient1.InactiveTabGradient = tabGradient3;
     344      dockPaneStripSkin1.DocumentGradient = dockPaneStripGradient1;
     345      tabGradient4.EndColor = System.Drawing.SystemColors.ActiveCaption;
     346      tabGradient4.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
     347      tabGradient4.StartColor = System.Drawing.SystemColors.GradientActiveCaption;
     348      tabGradient4.TextColor = System.Drawing.SystemColors.ActiveCaptionText;
     349      dockPaneStripToolWindowGradient1.ActiveCaptionGradient = tabGradient4;
     350      tabGradient5.EndColor = System.Drawing.SystemColors.Control;
     351      tabGradient5.StartColor = System.Drawing.SystemColors.Control;
     352      tabGradient5.TextColor = System.Drawing.SystemColors.ControlText;
     353      dockPaneStripToolWindowGradient1.ActiveTabGradient = tabGradient5;
     354      dockPanelGradient3.EndColor = System.Drawing.SystemColors.ControlLight;
     355      dockPanelGradient3.StartColor = System.Drawing.SystemColors.ControlLight;
     356      dockPaneStripToolWindowGradient1.DockStripGradient = dockPanelGradient3;
     357      tabGradient6.EndColor = System.Drawing.SystemColors.GradientInactiveCaption;
     358      tabGradient6.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
     359      tabGradient6.StartColor = System.Drawing.SystemColors.GradientInactiveCaption;
     360      tabGradient6.TextColor = System.Drawing.SystemColors.ControlText;
     361      dockPaneStripToolWindowGradient1.InactiveCaptionGradient = tabGradient6;
     362      tabGradient7.EndColor = System.Drawing.Color.Transparent;
     363      tabGradient7.StartColor = System.Drawing.Color.Transparent;
     364      tabGradient7.TextColor = System.Drawing.SystemColors.ControlDarkDark;
     365      dockPaneStripToolWindowGradient1.InactiveTabGradient = tabGradient7;
     366      dockPaneStripSkin1.ToolWindowGradient = dockPaneStripToolWindowGradient1;
     367      dockPanelSkin1.DockPaneStripSkin = dockPaneStripSkin1;
     368      this.dockPanel.Skin = dockPanelSkin1;
    309369      this.dockPanel.TabIndex = 2;
    310370      //

  • trunk/sources/HeuristicLab.AdvancedOptimizationFrontend/3.3/MainForm.Designer.cs

    r1921 r2142  
    4545    /// </summary>
    4646    private void InitializeComponent() {
     47      WeifenLuo.WinFormsUI.Docking.DockPanelSkin dockPanelSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPanelSkin();
     48      WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin autoHideStripSkin1 = new WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin();
     49      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
     50      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient1 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     51      WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin dockPaneStripSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin();
     52      WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient dockPaneStripGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient();
     53      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient2 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     54      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient2 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
     55      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient3 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     56      WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient dockPaneStripToolWindowGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient();
     57      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient4 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     58      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient5 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     59      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient3 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
     60      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient6 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     61      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient7 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
    4762      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(MainForm));
    4863      this.menuStrip = new System.Windows.Forms.MenuStrip();
    … …  
    109124      //
    110125      this.newToolStripMenuItem.Name = "newToolStripMenuItem";
    111       this.newToolStripMenuItem.Size = new System.Drawing.Size(187, 22);
     126      this.newToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    112127      this.newToolStripMenuItem.Text = "&New";
    113128      //
    … …  
    116131      this.openToolStripMenuItem.Name = "openToolStripMenuItem";
    117132      this.openToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O)));
    118       this.openToolStripMenuItem.Size = new System.Drawing.Size(187, 22);
     133      this.openToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    119134      this.openToolStripMenuItem.Text = "&Open...";
    120135      this.openToolStripMenuItem.Click += new System.EventHandler(this.openToolStripMenuItem_Click);
    … …  
    125140      this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
    126141      this.saveToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
    127       this.saveToolStripMenuItem.Size = new System.Drawing.Size(187, 22);
     142      this.saveToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    128143      this.saveToolStripMenuItem.Text = "&Save";
    129144      this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveToolStripMenuItem_Click);
    … …  
    133148      this.saveAsToolStripMenuItem.Enabled = false;
    134149      this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
    135       this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(187, 22);
     150      this.saveAsToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
     151                  | System.Windows.Forms.Keys.S)));
     152      this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    136153      this.saveAsToolStripMenuItem.Text = "Save &As...";
    137154      this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.saveAsToolStripMenuItem_Click);
    … …  
    141158      this.saveAllToolStripMenuItem.Enabled = false;
    142159      this.saveAllToolStripMenuItem.Name = "saveAllToolStripMenuItem";
    143       this.saveAllToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
    144                   | System.Windows.Forms.Keys.S)));
    145       this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(187, 22);
     160      this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    146161      this.saveAllToolStripMenuItem.Text = "Save Al&l";
    147162      this.saveAllToolStripMenuItem.Click += new System.EventHandler(this.saveAllToolStripMenuItem_Click);
    … …  
    151166      this.closeToolStripMenuItem.Enabled = false;
    152167      this.closeToolStripMenuItem.Name = "closeToolStripMenuItem";
    153       this.closeToolStripMenuItem.Size = new System.Drawing.Size(187, 22);
     168      this.closeToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    154169      this.closeToolStripMenuItem.Text = "&Close";
    155170      this.closeToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
    … …  
    159174      this.closeAllToolStripMenuItem.Enabled = false;
    160175      this.closeAllToolStripMenuItem.Name = "closeAllToolStripMenuItem";
    161       this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(187, 22);
     176      this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    162177      this.closeAllToolStripMenuItem.Text = "Clos&e All";
    163178      this.closeAllToolStripMenuItem.Click += new System.EventHandler(this.closeAllToolStripMenuItem_Click);
    … …  
    166181      //
    167182      this.toolStripMenuItem1.Name = "toolStripMenuItem1";
    168       this.toolStripMenuItem1.Size = new System.Drawing.Size(184, 6);
     183      this.toolStripMenuItem1.Size = new System.Drawing.Size(192, 6);
    169184      //
    170185      // exitToolStripMenuItem
    171186      //
    172187      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
    173       this.exitToolStripMenuItem.Size = new System.Drawing.Size(187, 22);
     188      this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    174189      this.exitToolStripMenuItem.Text = "E&xit";
    175190      this.exitToolStripMenuItem.Click += new System.EventHandler(this.exitToolStripMenuItem_Click);
    … …  
    299314      this.dockPanel.ActiveAutoHideContent = null;
    300315      this.dockPanel.Dock = System.Windows.Forms.DockStyle.Fill;
     316      this.dockPanel.DockBackColor = System.Drawing.SystemColors.Control;
    301317      this.dockPanel.DockBottomPortion = 0.33;
    302318      this.dockPanel.DockLeftPortion = 0.33;
    … …  
    307323      this.dockPanel.RightToLeftLayout = true;
    308324      this.dockPanel.Size = new System.Drawing.Size(1016, 663);
     325      dockPanelGradient1.EndColor = System.Drawing.SystemColors.ControlLight;
     326      dockPanelGradient1.StartColor = System.Drawing.SystemColors.ControlLight;
     327      autoHideStripSkin1.DockStripGradient = dockPanelGradient1;
     328      tabGradient1.EndColor = System.Drawing.SystemColors.Control;
     329      tabGradient1.StartColor = System.Drawing.SystemColors.Control;
     330      tabGradient1.TextColor = System.Drawing.SystemColors.ControlDarkDark;
     331      autoHideStripSkin1.TabGradient = tabGradient1;
     332      dockPanelSkin1.AutoHideStripSkin = autoHideStripSkin1;
     333      tabGradient2.EndColor = System.Drawing.SystemColors.ControlLightLight;
     334      tabGradient2.StartColor = System.Drawing.SystemColors.ControlLightLight;
     335      tabGradient2.TextColor = System.Drawing.SystemColors.ControlText;
     336      dockPaneStripGradient1.ActiveTabGradient = tabGradient2;
     337      dockPanelGradient2.EndColor = System.Drawing.SystemColors.Control;
     338      dockPanelGradient2.StartColor = System.Drawing.SystemColors.Control;
     339      dockPaneStripGradient1.DockStripGradient = dockPanelGradient2;
     340      tabGradient3.EndColor = System.Drawing.SystemColors.ControlLight;
     341      tabGradient3.StartColor = System.Drawing.SystemColors.ControlLight;
     342      tabGradient3.TextColor = System.Drawing.SystemColors.ControlText;
     343      dockPaneStripGradient1.InactiveTabGradient = tabGradient3;
     344      dockPaneStripSkin1.DocumentGradient = dockPaneStripGradient1;
     345      tabGradient4.EndColor = System.Drawing.SystemColors.ActiveCaption;
     346      tabGradient4.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
     347      tabGradient4.StartColor = System.Drawing.SystemColors.GradientActiveCaption;
     348      tabGradient4.TextColor = System.Drawing.SystemColors.ActiveCaptionText;
     349      dockPaneStripToolWindowGradient1.ActiveCaptionGradient = tabGradient4;
     350      tabGradient5.EndColor = System.Drawing.SystemColors.Control;
     351      tabGradient5.StartColor = System.Drawing.SystemColors.Control;
     352      tabGradient5.TextColor = System.Drawing.SystemColors.ControlText;
     353      dockPaneStripToolWindowGradient1.ActiveTabGradient = tabGradient5;
     354      dockPanelGradient3.EndColor = System.Drawing.SystemColors.ControlLight;
     355      dockPanelGradient3.StartColor = System.Drawing.SystemColors.ControlLight;
     356      dockPaneStripToolWindowGradient1.DockStripGradient = dockPanelGradient3;
     357      tabGradient6.EndColor = System.Drawing.SystemColors.GradientInactiveCaption;
     358      tabGradient6.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
     359      tabGradient6.StartColor = System.Drawing.SystemColors.GradientInactiveCaption;
     360      tabGradient6.TextColor = System.Drawing.SystemColors.ControlText;
     361      dockPaneStripToolWindowGradient1.InactiveCaptionGradient = tabGradient6;
     362      tabGradient7.EndColor = System.Drawing.Color.Transparent;
     363      tabGradient7.StartColor = System.Drawing.Color.Transparent;
     364      tabGradient7.TextColor = System.Drawing.SystemColors.ControlDarkDark;
     365      dockPaneStripToolWindowGradient1.InactiveTabGradient = tabGradient7;
     366      dockPaneStripSkin1.ToolWindowGradient = dockPaneStripToolWindowGradient1;
     367      dockPanelSkin1.DockPaneStripSkin = dockPaneStripSkin1;
     368      this.dockPanel.Skin = dockPanelSkin1;
    309369      this.dockPanel.TabIndex = 2;
    310370      //

  • trunk/sources/HeuristicLab.OptimizationFrontend/3.2/MainForm.Designer.cs

    r1530 r2142  
    107107            this.exitToolStripMenuItem});
    108108      this.fileToolStripMenuItem.Name = "fileToolStripMenuItem";
    109       this.fileToolStripMenuItem.Size = new System.Drawing.Size(35, 20);
     109      this.fileToolStripMenuItem.Size = new System.Drawing.Size(37, 20);
    110110      this.fileToolStripMenuItem.Text = "&File";
    111111      //
    … …  
    113113      //
    114114      this.newToolStripMenuItem.Name = "newToolStripMenuItem";
    115       this.newToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     115      this.newToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    116116      this.newToolStripMenuItem.Text = "&New";
    117117      //
    … …  
    120120      this.openToolStripMenuItem.Name = "openToolStripMenuItem";
    121121      this.openToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O)));
    122       this.openToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     122      this.openToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    123123      this.openToolStripMenuItem.Text = "&Open...";
    124124      this.openToolStripMenuItem.Click += new System.EventHandler(this.openToolStripMenuItem_Click);
    … …  
    129129      this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
    130130      this.saveToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
    131       this.saveToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     131      this.saveToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    132132      this.saveToolStripMenuItem.Text = "&Save";
    133133      this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveToolStripMenuItem_Click);
    … …  
    137137      this.saveAsToolStripMenuItem.Enabled = false;
    138138      this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
    139       this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     139      this.saveAsToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
     140                  | System.Windows.Forms.Keys.S)));
     141      this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    140142      this.saveAsToolStripMenuItem.Text = "Save &As...";
    141143      this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.saveAsToolStripMenuItem_Click);
    … …  
    145147      this.saveAllToolStripMenuItem.Enabled = false;
    146148      this.saveAllToolStripMenuItem.Name = "saveAllToolStripMenuItem";
    147       this.saveAllToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
    148                   | System.Windows.Forms.Keys.S)));
    149       this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     149      this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    150150      this.saveAllToolStripMenuItem.Text = "Save Al&l";
    151151      this.saveAllToolStripMenuItem.Click += new System.EventHandler(this.saveAllToolStripMenuItem_Click);
    … …  
    155155      this.closeToolStripMenuItem.Enabled = false;
    156156      this.closeToolStripMenuItem.Name = "closeToolStripMenuItem";
    157       this.closeToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     157      this.closeToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    158158      this.closeToolStripMenuItem.Text = "&Close";
    159159      this.closeToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
    … …  
    163163      this.closeAllToolStripMenuItem.Enabled = false;
    164164      this.closeAllToolStripMenuItem.Name = "closeAllToolStripMenuItem";
    165       this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     165      this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    166166      this.closeAllToolStripMenuItem.Text = "Clos&e All";
    167167      this.closeAllToolStripMenuItem.Click += new System.EventHandler(this.closeAllToolStripMenuItem_Click);
    … …  
    170170      //
    171171      this.toolStripMenuItem1.Name = "toolStripMenuItem1";
    172       this.toolStripMenuItem1.Size = new System.Drawing.Size(188, 6);
     172      this.toolStripMenuItem1.Size = new System.Drawing.Size(192, 6);
    173173      //
    174174      // exitToolStripMenuItem
    175175      //
    176176      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
    177       this.exitToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     177      this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    178178      this.exitToolStripMenuItem.Text = "E&xit";
    179179      this.exitToolStripMenuItem.Click += new System.EventHandler(this.exitToolStripMenuItem_Click);
    … …  
    184184            this.availableOperatorsToolStripMenuItem});
    185185      this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";
    186       this.viewToolStripMenuItem.Size = new System.Drawing.Size(41, 20);
     186      this.viewToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
    187187      this.viewToolStripMenuItem.Text = "&View";
    188188      //
    … …  
    190190      //
    191191      this.availableOperatorsToolStripMenuItem.Name = "availableOperatorsToolStripMenuItem";
    192       this.availableOperatorsToolStripMenuItem.Size = new System.Drawing.Size(192, 22);
     192      this.availableOperatorsToolStripMenuItem.Size = new System.Drawing.Size(186, 22);
    193193      this.availableOperatorsToolStripMenuItem.Text = "Available &Operators...";
    194194      this.availableOperatorsToolStripMenuItem.Click += new System.EventHandler(this.availableOperatorsToolStripMenuItem_Click);
    … …  
    199199            this.collectGarbageToolStripMenuItem});
    200200      this.toolsToolStripMenuItem.Name = "toolsToolStripMenuItem";
    201       this.toolsToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
     201      this.toolsToolStripMenuItem.Size = new System.Drawing.Size(48, 20);
    202202      this.toolsToolStripMenuItem.Text = "&Tools";
    203203      //
    … …  
    205205      //
    206206      this.collectGarbageToolStripMenuItem.Name = "collectGarbageToolStripMenuItem";
    207       this.collectGarbageToolStripMenuItem.Size = new System.Drawing.Size(161, 22);
     207      this.collectGarbageToolStripMenuItem.Size = new System.Drawing.Size(158, 22);
    208208      this.collectGarbageToolStripMenuItem.Text = "Collect &Garbage";
    209209      this.collectGarbageToolStripMenuItem.Click += new System.EventHandler(this.collectGarbageToolStripMenuItem_Click);
    … …  
    216216            this.tileVerticallyToolStripMenuItem});
    217217      this.windowToolStripMenuItem.Name = "windowToolStripMenuItem";
    218       this.windowToolStripMenuItem.Size = new System.Drawing.Size(57, 20);
     218      this.windowToolStripMenuItem.Size = new System.Drawing.Size(63, 20);
    219219      this.windowToolStripMenuItem.Text = "&Window";
    220220      //
    … …  
    248248            this.aboutToolStripMenuItem});
    249249      this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
    250       this.helpToolStripMenuItem.Size = new System.Drawing.Size(40, 20);
     250      this.helpToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
    251251      this.helpToolStripMenuItem.Text = "&Help";
    252252      //
    … …  
    254254      //
    255255      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
    256       this.aboutToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
     256      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(107, 22);
    257257      this.aboutToolStripMenuItem.Text = "&About";
    258258      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);

  • trunk/sources/HeuristicLab.OptimizationFrontend/3.3/MainForm.Designer.cs

    r1530 r2142  
    107107            this.exitToolStripMenuItem});
    108108      this.fileToolStripMenuItem.Name = "fileToolStripMenuItem";
    109       this.fileToolStripMenuItem.Size = new System.Drawing.Size(35, 20);
     109      this.fileToolStripMenuItem.Size = new System.Drawing.Size(37, 20);
    110110      this.fileToolStripMenuItem.Text = "&File";
    111111      //
    … …  
    113113      //
    114114      this.newToolStripMenuItem.Name = "newToolStripMenuItem";
    115       this.newToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     115      this.newToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    116116      this.newToolStripMenuItem.Text = "&New";
    117117      //
    … …  
    120120      this.openToolStripMenuItem.Name = "openToolStripMenuItem";
    121121      this.openToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O)));
    122       this.openToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     122      this.openToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    123123      this.openToolStripMenuItem.Text = "&Open...";
    124124      this.openToolStripMenuItem.Click += new System.EventHandler(this.openToolStripMenuItem_Click);
    … …  
    129129      this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
    130130      this.saveToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
    131       this.saveToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     131      this.saveToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    132132      this.saveToolStripMenuItem.Text = "&Save";
    133133      this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveToolStripMenuItem_Click);
    … …  
    137137      this.saveAsToolStripMenuItem.Enabled = false;
    138138      this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
    139       this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     139      this.saveAsToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
     140                  | System.Windows.Forms.Keys.S)));
     141      this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    140142      this.saveAsToolStripMenuItem.Text = "Save &As...";
    141143      this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.saveAsToolStripMenuItem_Click);
    … …  
    145147      this.saveAllToolStripMenuItem.Enabled = false;
    146148      this.saveAllToolStripMenuItem.Name = "saveAllToolStripMenuItem";
    147       this.saveAllToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
    148                   | System.Windows.Forms.Keys.S)));
    149       this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     149      this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    150150      this.saveAllToolStripMenuItem.Text = "Save Al&l";
    151151      this.saveAllToolStripMenuItem.Click += new System.EventHandler(this.saveAllToolStripMenuItem_Click);
    … …  
    155155      this.closeToolStripMenuItem.Enabled = false;
    156156      this.closeToolStripMenuItem.Name = "closeToolStripMenuItem";
    157       this.closeToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     157      this.closeToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    158158      this.closeToolStripMenuItem.Text = "&Close";
    159159      this.closeToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
    … …  
    163163      this.closeAllToolStripMenuItem.Enabled = false;
    164164      this.closeAllToolStripMenuItem.Name = "closeAllToolStripMenuItem";
    165       this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     165      this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    166166      this.closeAllToolStripMenuItem.Text = "Clos&e All";
    167167      this.closeAllToolStripMenuItem.Click += new System.EventHandler(this.closeAllToolStripMenuItem_Click);
    … …  
    170170      //
    171171      this.toolStripMenuItem1.Name = "toolStripMenuItem1";
    172       this.toolStripMenuItem1.Size = new System.Drawing.Size(188, 6);
     172      this.toolStripMenuItem1.Size = new System.Drawing.Size(192, 6);
    173173      //
    174174      // exitToolStripMenuItem
    175175      //
    176176      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
    177       this.exitToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
     177      this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    178178      this.exitToolStripMenuItem.Text = "E&xit";
    179179      this.exitToolStripMenuItem.Click += new System.EventHandler(this.exitToolStripMenuItem_Click);
    … …  
    184184            this.availableOperatorsToolStripMenuItem});
    185185      this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";
    186       this.viewToolStripMenuItem.Size = new System.Drawing.Size(41, 20);
     186      this.viewToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
    187187      this.viewToolStripMenuItem.Text = "&View";
    188188      //
    … …  
    190190      //
    191191      this.availableOperatorsToolStripMenuItem.Name = "availableOperatorsToolStripMenuItem";
    192       this.availableOperatorsToolStripMenuItem.Size = new System.Drawing.Size(192, 22);
     192      this.availableOperatorsToolStripMenuItem.Size = new System.Drawing.Size(186, 22);
    193193      this.availableOperatorsToolStripMenuItem.Text = "Available &Operators...";
    194194      this.availableOperatorsToolStripMenuItem.Click += new System.EventHandler(this.availableOperatorsToolStripMenuItem_Click);
    … …  
    199199            this.collectGarbageToolStripMenuItem});
    200200      this.toolsToolStripMenuItem.Name = "toolsToolStripMenuItem";
    201       this.toolsToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
     201      this.toolsToolStripMenuItem.Size = new System.Drawing.Size(48, 20);
    202202      this.toolsToolStripMenuItem.Text = "&Tools";
    203203      //
    … …  
    205205      //
    206206      this.collectGarbageToolStripMenuItem.Name = "collectGarbageToolStripMenuItem";
    207       this.collectGarbageToolStripMenuItem.Size = new System.Drawing.Size(161, 22);
     207      this.collectGarbageToolStripMenuItem.Size = new System.Drawing.Size(158, 22);
    208208      this.collectGarbageToolStripMenuItem.Text = "Collect &Garbage";
    209209      this.collectGarbageToolStripMenuItem.Click += new System.EventHandler(this.collectGarbageToolStripMenuItem_Click);
    … …  
    216216            this.tileVerticallyToolStripMenuItem});
    217217      this.windowToolStripMenuItem.Name = "windowToolStripMenuItem";
    218       this.windowToolStripMenuItem.Size = new System.Drawing.Size(57, 20);
     218      this.windowToolStripMenuItem.Size = new System.Drawing.Size(63, 20);
    219219      this.windowToolStripMenuItem.Text = "&Window";
    220220      //
    … …  
    248248            this.aboutToolStripMenuItem});
    249249      this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
    250       this.helpToolStripMenuItem.Size = new System.Drawing.Size(40, 20);
     250      this.helpToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
    251251      this.helpToolStripMenuItem.Text = "&Help";
    252252      //
    … …  
    254254      //
    255255      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
    256       this.aboutToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
     256      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(107, 22);
    257257      this.aboutToolStripMenuItem.Text = "&About";
    258258      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
Note: See TracChangeset for help on using the changeset viewer.