Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
11/23/10 15:03:01 (14 years ago)
Author:
epitzer
Message:

Several GUI improvements (#47)

  • add icons and tool tips
  • add support for suspending the operator trace view
  • faster skipping of stack-only operations
  • remove log view and execution time view
File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/HeuristicLab.DebugEngine/OperatorTraceView.Designer.cs

    r4904 r4909  
    2424    /// </summary>
    2525    private void InitializeComponent() {
     26      this.components = new System.ComponentModel.Container();
    2627      this.operatorTraceGroupBox = new System.Windows.Forms.GroupBox();
    2728      this.listView = new System.Windows.Forms.ListView();
     29      this.listViewColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
     30      this.imageList = new System.Windows.Forms.ImageList(this.components);
    2831      this.operatorTraceGroupBox.SuspendLayout();
    2932      this.SuspendLayout();
     
    3538      this.operatorTraceGroupBox.Location = new System.Drawing.Point(0, 0);
    3639      this.operatorTraceGroupBox.Name = "operatorTraceGroupBox";
    37       this.operatorTraceGroupBox.Size = new System.Drawing.Size(515, 405);
     40      this.operatorTraceGroupBox.Size = new System.Drawing.Size(152, 489);
    3841      this.operatorTraceGroupBox.TabIndex = 0;
    3942      this.operatorTraceGroupBox.TabStop = false;
     
    4245      // listView
    4346      //
     47      this.listView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
     48            this.listViewColumnHeader});
    4449      this.listView.Dock = System.Windows.Forms.DockStyle.Fill;
    45       this.listView.FullRowSelect = true;
     50      this.listView.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.None;
     51      this.listView.HideSelection = false;
    4652      this.listView.Location = new System.Drawing.Point(3, 16);
    4753      this.listView.Name = "listView";
    48       this.listView.Size = new System.Drawing.Size(509, 386);
     54      this.listView.ShowItemToolTips = true;
     55      this.listView.Size = new System.Drawing.Size(146, 470);
     56      this.listView.SmallImageList = this.imageList;
    4957      this.listView.TabIndex = 0;
    5058      this.listView.UseCompatibleStateImageBehavior = false;
    51       this.listView.View = System.Windows.Forms.View.List;
     59      this.listView.View = System.Windows.Forms.View.Details;
    5260      this.listView.ItemActivate += new System.EventHandler(this.listView_ItemActivate);
     61      //
     62      // imageList
     63      //
     64      this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
     65      this.imageList.ImageSize = new System.Drawing.Size(16, 16);
     66      this.imageList.TransparentColor = System.Drawing.Color.Transparent;
    5367      //
    5468      // OperatorTraceView
     
    5872      this.Controls.Add(this.operatorTraceGroupBox);
    5973      this.Name = "OperatorTraceView";
    60       this.Size = new System.Drawing.Size(515, 405);
     74      this.Size = new System.Drawing.Size(152, 489);
    6175      this.operatorTraceGroupBox.ResumeLayout(false);
    6276      this.ResumeLayout(false);
     
    6882    private System.Windows.Forms.GroupBox operatorTraceGroupBox;
    6983    private System.Windows.Forms.ListView listView;
     84    private System.Windows.Forms.ImageList imageList;
     85    private System.Windows.Forms.ColumnHeader listViewColumnHeader;
    7086  }
    7187}
Note: See TracChangeset for help on using the changeset viewer.