Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
12/21/10 12:04:19 (14 years ago)
Author:
epitzer
Message:

(#47)

  • Show a different icon for breakpoints
  • Show an icon for the active operation
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.DebugEngine/3.3/OperationContentView.Designer.cs

    r5116 r5146  
    5858      this.nameTextBox = new System.Windows.Forms.TextBox();
    5959      this.parametersImageList = new System.Windows.Forms.ImageList(this.components);
     60      this.iconBox = new System.Windows.Forms.PictureBox();
    6061      this.groupBox.SuspendLayout();
    6162      this.splitContainer1.Panel1.SuspendLayout();
     
    6566      this.executionContextConextMenu.SuspendLayout();
    6667      this.scopeGroupBox.SuspendLayout();
     68      ((System.ComponentModel.ISupportInitialize)(this.iconBox)).BeginInit();
    6769      this.SuspendLayout();
    6870      //
    6971      // groupBox
    7072      //
     73      this.groupBox.Controls.Add(this.iconBox);
    7174      this.groupBox.Controls.Add(this.splitContainer1);
    7275      this.groupBox.Controls.Add(this.nameTextBox);
     
    187190            | System.Windows.Forms.AnchorStyles.Right)));
    188191      this.nameTextBox.Cursor = System.Windows.Forms.Cursors.Default;
    189       this.nameTextBox.Location = new System.Drawing.Point(6, 19);
     192      this.nameTextBox.Location = new System.Drawing.Point(32, 19);
    190193      this.nameTextBox.Name = "nameTextBox";
    191194      this.nameTextBox.ReadOnly = true;
    192       this.nameTextBox.Size = new System.Drawing.Size(551, 20);
     195      this.nameTextBox.Size = new System.Drawing.Size(525, 20);
    193196      this.nameTextBox.TabIndex = 3;
    194197      this.nameTextBox.DoubleClick += new System.EventHandler(this.nameTextBox_DoubleClick);
     
    199202      this.parametersImageList.ImageSize = new System.Drawing.Size(16, 16);
    200203      this.parametersImageList.TransparentColor = System.Drawing.Color.Transparent;
     204      //
     205      // iconBox
     206      //
     207      this.iconBox.Location = new System.Drawing.Point(6, 19);
     208      this.iconBox.Name = "iconBox";
     209      this.iconBox.Size = new System.Drawing.Size(20, 20);
     210      this.iconBox.TabIndex = 5;
     211      this.iconBox.TabStop = false;
    201212      //
    202213      // OperationContentView
     
    215226      this.executionContextConextMenu.ResumeLayout(false);
    216227      this.scopeGroupBox.ResumeLayout(false);
     228      ((System.ComponentModel.ISupportInitialize)(this.iconBox)).EndInit();
    217229      this.ResumeLayout(false);
    218230
     
    233245    private System.Windows.Forms.ContextMenuStrip executionContextConextMenu;
    234246    private System.Windows.Forms.ToolStripMenuItem showValueToolStripMenuItem;
     247    private System.Windows.Forms.PictureBox iconBox;
    235248  }
    236249}
Note: See TracChangeset for help on using the changeset viewer.