Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
05/07/10 23:33:00 (15 years ago)
Author:
swagner
Message:

Adapted content and layout of start page (#936)

Location:
trunk/sources/HeuristicLab.Optimizer/3.3
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.Optimizer/3.3/StartPage.Designer.cs

    r3298 r3711  
    5757      this.descriptionColumnHeader = new System.Windows.Forms.ColumnHeader();
    5858      this.imageList = new System.Windows.Forms.ImageList(this.components);
     59      this.splitContainer = new System.Windows.Forms.SplitContainer();
    5960      this.samplesGroupBox.SuspendLayout();
    6061      this.loadingPanel.SuspendLayout();
     62      this.splitContainer.Panel1.SuspendLayout();
     63      this.splitContainer.Panel2.SuspendLayout();
     64      this.splitContainer.SuspendLayout();
    6165      this.SuspendLayout();
    6266      //
     
    6670      this.showStartPageCheckBox.AutoSize = true;
    6771      this.showStartPageCheckBox.CheckAlign = System.Drawing.ContentAlignment.MiddleRight;
    68       this.showStartPageCheckBox.Location = new System.Drawing.Point(3, 542);
     72      this.showStartPageCheckBox.Location = new System.Drawing.Point(3, 620);
    6973      this.showStartPageCheckBox.Name = "showStartPageCheckBox";
    7074      this.showStartPageCheckBox.Size = new System.Drawing.Size(158, 17);
    71       this.showStartPageCheckBox.TabIndex = 3;
     75      this.showStartPageCheckBox.TabIndex = 1;
    7276      this.showStartPageCheckBox.Text = "Show Start Page on Startup";
    7377      this.showStartPageCheckBox.UseVisualStyleBackColor = true;
     
    8589      this.firstStepsRichTextBox.Name = "firstStepsRichTextBox";
    8690      this.firstStepsRichTextBox.ReadOnly = true;
    87       this.firstStepsRichTextBox.Size = new System.Drawing.Size(760, 319);
     91      this.firstStepsRichTextBox.Size = new System.Drawing.Size(725, 370);
    8892      this.firstStepsRichTextBox.TabIndex = 1;
    8993      this.firstStepsRichTextBox.Text = "First Steps";
     
    9599                  | System.Windows.Forms.AnchorStyles.Right)));
    96100      this.titleLabel.Font = new System.Drawing.Font("Microsoft Sans Serif", 14.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
    97       this.titleLabel.Location = new System.Drawing.Point(3, 0);
     101      this.titleLabel.Location = new System.Drawing.Point(-1, 0);
    98102      this.titleLabel.Name = "titleLabel";
    99       this.titleLabel.Size = new System.Drawing.Size(760, 30);
     103      this.titleLabel.Size = new System.Drawing.Size(729, 30);
    100104      this.titleLabel.TabIndex = 0;
    101105      this.titleLabel.Text = "Title";
     
    104108      // samplesGroupBox
    105109      //
    106       this.samplesGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
     110      this.samplesGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     111                  | System.Windows.Forms.AnchorStyles.Left)
    107112                  | System.Windows.Forms.AnchorStyles.Right)));
    108113      this.samplesGroupBox.Controls.Add(this.loadingPanel);
    109114      this.samplesGroupBox.Controls.Add(this.samplesListView);
    110       this.samplesGroupBox.Location = new System.Drawing.Point(3, 358);
     115      this.samplesGroupBox.Location = new System.Drawing.Point(0, 3);
    111116      this.samplesGroupBox.Name = "samplesGroupBox";
    112       this.samplesGroupBox.Size = new System.Drawing.Size(760, 178);
    113       this.samplesGroupBox.TabIndex = 2;
     117      this.samplesGroupBox.Size = new System.Drawing.Size(728, 201);
     118      this.samplesGroupBox.TabIndex = 0;
    114119      this.samplesGroupBox.TabStop = false;
    115120      this.samplesGroupBox.Text = "Samples";
     
    117122      // loadingPanel
    118123      //
    119       this.loadingPanel.Anchor = System.Windows.Forms.AnchorStyles.Bottom;
     124      this.loadingPanel.Anchor = System.Windows.Forms.AnchorStyles.None;
    120125      this.loadingPanel.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
    121126      this.loadingPanel.Controls.Add(this.loadingProgressBar);
    122127      this.loadingPanel.Controls.Add(this.loadingLabel);
    123128      this.loadingPanel.Enabled = false;
    124       this.loadingPanel.Location = new System.Drawing.Point(205, 74);
     129      this.loadingPanel.Location = new System.Drawing.Point(189, 89);
    125130      this.loadingPanel.Name = "loadingPanel";
    126131      this.loadingPanel.Size = new System.Drawing.Size(350, 62);
     
    157162      this.samplesListView.Name = "samplesListView";
    158163      this.samplesListView.ShowItemToolTips = true;
    159       this.samplesListView.Size = new System.Drawing.Size(754, 159);
     164      this.samplesListView.Size = new System.Drawing.Size(722, 182);
    160165      this.samplesListView.SmallImageList = this.imageList;
    161166      this.samplesListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
     
    182187      this.imageList.TransparentColor = System.Drawing.Color.Transparent;
    183188      //
     189      // splitContainer
     190      //
     191      this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     192                  | System.Windows.Forms.AnchorStyles.Left)
     193                  | System.Windows.Forms.AnchorStyles.Right)));
     194      this.splitContainer.Location = new System.Drawing.Point(0, 0);
     195      this.splitContainer.Name = "splitContainer";
     196      this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
     197      //
     198      // splitContainer.Panel1
     199      //
     200      this.splitContainer.Panel1.Controls.Add(this.titleLabel);
     201      this.splitContainer.Panel1.Controls.Add(this.firstStepsRichTextBox);
     202      //
     203      // splitContainer.Panel2
     204      //
     205      this.splitContainer.Panel2.Controls.Add(this.samplesGroupBox);
     206      this.splitContainer.Size = new System.Drawing.Size(728, 614);
     207      this.splitContainer.SplitterDistance = 406;
     208      this.splitContainer.TabIndex = 0;
     209      //
    184210      // StartPage
    185211      //
    186212      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    187213      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    188       this.Controls.Add(this.firstStepsRichTextBox);
    189       this.Controls.Add(this.samplesGroupBox);
    190       this.Controls.Add(this.titleLabel);
     214      this.Controls.Add(this.splitContainer);
    191215      this.Controls.Add(this.showStartPageCheckBox);
    192216      this.Name = "StartPage";
    193       this.Size = new System.Drawing.Size(766, 562);
     217      this.Size = new System.Drawing.Size(728, 640);
    194218      this.samplesGroupBox.ResumeLayout(false);
    195219      this.loadingPanel.ResumeLayout(false);
     220      this.splitContainer.Panel1.ResumeLayout(false);
     221      this.splitContainer.Panel2.ResumeLayout(false);
     222      this.splitContainer.ResumeLayout(false);
    196223      this.ResumeLayout(false);
    197224      this.PerformLayout();
     
    212239    private System.Windows.Forms.ProgressBar loadingProgressBar;
    213240    private System.Windows.Forms.Label loadingLabel;
     241    private System.Windows.Forms.SplitContainer splitContainer;
    214242  }
    215243}
Note: See TracChangeset for help on using the changeset viewer.