Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
07/04/19 14:45:47 (5 years ago)
Author:
mkommend
Message:

#2845: Merged 16430 into stable.

Location:
stable
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • stable

  • stable/HeuristicLab.MainForm.WindowsForms/3.3/Controls/ProgressView.designer.cs

    r15584 r17062  
    2727    private System.ComponentModel.IContainer components = null;
    2828
    29    
     29
    3030    #region Component Designer generated code
    3131
     
    3636    private void InitializeComponent() {
    3737      this.progressBar = new System.Windows.Forms.ProgressBar();
    38       this.statusLabel = new System.Windows.Forms.Label();
     38      this.messageLabel = new System.Windows.Forms.Label();
     39      this.borderPanel = new System.Windows.Forms.Panel();
     40      this.panel = new System.Windows.Forms.Panel();
     41      this.stopButton = new System.Windows.Forms.Button();
    3942      this.cancelButton = new System.Windows.Forms.Button();
    40       this.panel = new System.Windows.Forms.Panel();
     43      this.borderPanel.SuspendLayout();
    4144      this.panel.SuspendLayout();
    4245      this.SuspendLayout();
     
    4851      this.progressBar.Location = new System.Drawing.Point(3, 3);
    4952      this.progressBar.Name = "progressBar";
    50       this.progressBar.Size = new System.Drawing.Size(352, 23);
     53      this.progressBar.Size = new System.Drawing.Size(366, 23);
    5154      this.progressBar.Style = System.Windows.Forms.ProgressBarStyle.Marquee;
    5255      this.progressBar.TabIndex = 0;
    5356      //
    54       // statusLabel
     57      // messageLabel
    5558      //
    56       this.statusLabel.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     59      this.messageLabel.Dock = System.Windows.Forms.DockStyle.Fill;
     60      this.messageLabel.Location = new System.Drawing.Point(0, 0);
     61      this.messageLabel.Name = "messageLabel";
     62      this.messageLabel.Padding = new System.Windows.Forms.Padding(0, 0, 3, 0);
     63      this.messageLabel.Size = new System.Drawing.Size(217, 23);
     64      this.messageLabel.TabIndex = 1;
     65      this.messageLabel.TextAlign = System.Drawing.ContentAlignment.MiddleLeft;
     66      //
     67      // borderPanel
     68      //
     69      this.borderPanel.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     70            | System.Windows.Forms.AnchorStyles.Left)
    5771            | System.Windows.Forms.AnchorStyles.Right)));
    58       this.statusLabel.Location = new System.Drawing.Point(3, 33);
    59       this.statusLabel.Name = "statusLabel";
    60       this.statusLabel.Size = new System.Drawing.Size(352, 17);
    61       this.statusLabel.TabIndex = 1;
     72      this.borderPanel.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
     73      this.borderPanel.Controls.Add(this.panel);
     74      this.borderPanel.Controls.Add(this.progressBar);
     75      this.borderPanel.Location = new System.Drawing.Point(0, 0);
     76      this.borderPanel.Name = "borderPanel";
     77      this.borderPanel.Size = new System.Drawing.Size(374, 62);
     78      this.borderPanel.TabIndex = 3;
     79      //
     80      // panel
     81      //
     82      this.panel.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     83            | System.Windows.Forms.AnchorStyles.Right)));
     84      this.panel.Controls.Add(this.messageLabel);
     85      this.panel.Controls.Add(this.stopButton);
     86      this.panel.Controls.Add(this.cancelButton);
     87      this.panel.Location = new System.Drawing.Point(3, 32);
     88      this.panel.Name = "panel";
     89      this.panel.Size = new System.Drawing.Size(367, 23);
     90      this.panel.TabIndex = 4;
     91      //
     92      // stopButton
     93      //
     94      this.stopButton.Dock = System.Windows.Forms.DockStyle.Right;
     95      this.stopButton.Location = new System.Drawing.Point(217, 0);
     96      this.stopButton.Name = "stopButton";
     97      this.stopButton.Size = new System.Drawing.Size(75, 23);
     98      this.stopButton.TabIndex = 3;
     99      this.stopButton.Text = "Stop";
     100      this.stopButton.UseVisualStyleBackColor = true;
     101      this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
    62102      //
    63103      // cancelButton
    64104      //
    65       this.cancelButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
    66       this.cancelButton.Location = new System.Drawing.Point(280, 53);
     105      this.cancelButton.Dock = System.Windows.Forms.DockStyle.Right;
     106      this.cancelButton.Location = new System.Drawing.Point(292, 0);
    67107      this.cancelButton.Name = "cancelButton";
    68108      this.cancelButton.Size = new System.Drawing.Size(75, 23);
     
    72112      this.cancelButton.Click += new System.EventHandler(this.cancelButton_Click);
    73113      //
    74       // panel
    75       //
    76       this.panel.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    77             | System.Windows.Forms.AnchorStyles.Left)
    78             | System.Windows.Forms.AnchorStyles.Right)));
    79       this.panel.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
    80       this.panel.Controls.Add(this.progressBar);
    81       this.panel.Controls.Add(this.cancelButton);
    82       this.panel.Controls.Add(this.statusLabel);
    83       this.panel.Location = new System.Drawing.Point(0, 0);
    84       this.panel.Name = "panel";
    85       this.panel.Size = new System.Drawing.Size(360, 88);
    86       this.panel.TabIndex = 3;
    87       //
    88114      // ProgressView
    89115      //
    90116      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
    91       this.Controls.Add(this.panel);
     117      this.Controls.Add(this.borderPanel);
    92118      this.Name = "ProgressView";
    93       this.Size = new System.Drawing.Size(360, 88);
     119      this.Size = new System.Drawing.Size(374, 62);
     120      this.borderPanel.ResumeLayout(false);
    94121      this.panel.ResumeLayout(false);
    95122      this.ResumeLayout(false);
     
    100127
    101128    private System.Windows.Forms.ProgressBar progressBar;
    102     private System.Windows.Forms.Label statusLabel;
     129    private System.Windows.Forms.Label messageLabel;
     130    private System.Windows.Forms.Panel borderPanel;
     131    private System.Windows.Forms.Button stopButton;
     132    private System.Windows.Forms.Panel panel;
    103133    private System.Windows.Forms.Button cancelButton;
    104     private System.Windows.Forms.Panel panel;
    105134  }
    106135}
Note: See TracChangeset for help on using the changeset viewer.