Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
11/22/10 14:08:18 (14 years ago)
Author:
epitzer
Message:

Many small improvements to DebugEngine (#47)

  • suppress logging during execution
  • add refresh button
  • optionally skip over execution stack operators
  • expand all tree views and scroll to top node
  • show operator on click on atomic operation
  • add build.cmd
File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/HeuristicLab.DebugEngine/OperationContentView.Designer.cs

    r4876 r4903  
    2727      this.groupBox = new System.Windows.Forms.GroupBox();
    2828      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
     29      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
     30      this.executionContextGroupBox = new System.Windows.Forms.GroupBox();
     31      this.executionContextTreeView = new System.Windows.Forms.TreeView();
     32      this.parametersGroupBox = new System.Windows.Forms.GroupBox();
    2933      this.parameterListView = new System.Windows.Forms.ListView();
     34      this.scopeGroupBox = new System.Windows.Forms.GroupBox();
    3035      this.scopeTreeView = new System.Windows.Forms.TreeView();
    3136      this.nameTextBox = new System.Windows.Forms.TextBox();
    … …  
    3338      this.atomicLabel = new System.Windows.Forms.Label();
    3439      this.collectionLabel = new System.Windows.Forms.Label();
    35       this.splitContainer2 = new System.Windows.Forms.SplitContainer();
    36       this.parametersGroupBox = new System.Windows.Forms.GroupBox();
    37       this.executionContextGroupBox = new System.Windows.Forms.GroupBox();
    38       this.scopeGroupBox = new System.Windows.Forms.GroupBox();
    39       this.executionContextTreeView = new System.Windows.Forms.TreeView();
    4040      this.timer = new System.Windows.Forms.Timer(this.components);
    4141      this.groupBox.SuspendLayout();
    … …  
    4646      this.splitContainer2.Panel2.SuspendLayout();
    4747      this.splitContainer2.SuspendLayout();
     48      this.executionContextGroupBox.SuspendLayout();
    4849      this.parametersGroupBox.SuspendLayout();
    49       this.executionContextGroupBox.SuspendLayout();
    5050      this.scopeGroupBox.SuspendLayout();
    5151      this.SuspendLayout();
    … …  
    8585      this.splitContainer1.TabIndex = 4;
    8686      //
     87      // splitContainer2
     88      //
     89      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
     90      this.splitContainer2.Location = new System.Drawing.Point(0, 0);
     91      this.splitContainer2.Name = "splitContainer2";
     92      this.splitContainer2.Orientation = System.Windows.Forms.Orientation.Horizontal;
     93      //
     94      // splitContainer2.Panel1
     95      //
     96      this.splitContainer2.Panel1.Controls.Add(this.executionContextGroupBox);
     97      //
     98      // splitContainer2.Panel2
     99      //
     100      this.splitContainer2.Panel2.Controls.Add(this.parametersGroupBox);
     101      this.splitContainer2.Size = new System.Drawing.Size(242, 361);
     102      this.splitContainer2.SplitterDistance = 180;
     103      this.splitContainer2.TabIndex = 1;
     104      //
     105      // executionContextGroupBox
     106      //
     107      this.executionContextGroupBox.Controls.Add(this.executionContextTreeView);
     108      this.executionContextGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
     109      this.executionContextGroupBox.Location = new System.Drawing.Point(0, 0);
     110      this.executionContextGroupBox.Name = "executionContextGroupBox";
     111      this.executionContextGroupBox.Size = new System.Drawing.Size(242, 180);
     112      this.executionContextGroupBox.TabIndex = 0;
     113      this.executionContextGroupBox.TabStop = false;
     114      this.executionContextGroupBox.Text = "Execution Context";
     115      //
     116      // executionContextTreeView
     117      //
     118      this.executionContextTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
     119      this.executionContextTreeView.Location = new System.Drawing.Point(3, 16);
     120      this.executionContextTreeView.Name = "executionContextTreeView";
     121      this.executionContextTreeView.Size = new System.Drawing.Size(236, 161);
     122      this.executionContextTreeView.TabIndex = 0;
     123      this.executionContextTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseClick);
     124      this.executionContextTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseDoubleClick);
     125      //
     126      // parametersGroupBox
     127      //
     128      this.parametersGroupBox.Controls.Add(this.parameterListView);
     129      this.parametersGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
     130      this.parametersGroupBox.Location = new System.Drawing.Point(0, 0);
     131      this.parametersGroupBox.Name = "parametersGroupBox";
     132      this.parametersGroupBox.Size = new System.Drawing.Size(242, 177);
     133      this.parametersGroupBox.TabIndex = 0;
     134      this.parametersGroupBox.TabStop = false;
     135      this.parametersGroupBox.Text = "Parameters";
     136      //
    87137      // parameterListView
    88138      //
    … …  
    97147      this.parameterListView.ItemActivate += new System.EventHandler(this.parameterListView_ItemActivate);
    98148      //
     149      // scopeGroupBox
     150      //
     151      this.scopeGroupBox.Controls.Add(this.scopeTreeView);
     152      this.scopeGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
     153      this.scopeGroupBox.Location = new System.Drawing.Point(0, 0);
     154      this.scopeGroupBox.Name = "scopeGroupBox";
     155      this.scopeGroupBox.Size = new System.Drawing.Size(305, 361);
     156      this.scopeGroupBox.TabIndex = 1;
     157      this.scopeGroupBox.TabStop = false;
     158      this.scopeGroupBox.Text = "Scope";
     159      //
    99160      // scopeTreeView
    100161      //
    … …  
    109170      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    110171                  | System.Windows.Forms.AnchorStyles.Right)));
     172      this.nameTextBox.Cursor = System.Windows.Forms.Cursors.Default;
    111173      this.nameTextBox.Location = new System.Drawing.Point(6, 19);
    112174      this.nameTextBox.Name = "nameTextBox";
    … …  
    114176      this.nameTextBox.Size = new System.Drawing.Size(395, 20);
    115177      this.nameTextBox.TabIndex = 3;
     178      this.nameTextBox.DoubleClick += new System.EventHandler(this.nameTextBox_DoubleClick);
    116179      //
    117180      // contextLabel
    … …  
    147210      this.collectionLabel.TabIndex = 0;
    148211      this.collectionLabel.Text = "Collection";
    149       //
    150       // splitContainer2
    151       //
    152       this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
    153       this.splitContainer2.Location = new System.Drawing.Point(0, 0);
    154       this.splitContainer2.Name = "splitContainer2";
    155       this.splitContainer2.Orientation = System.Windows.Forms.Orientation.Horizontal;
    156       //
    157       // splitContainer2.Panel1
    158       //
    159       this.splitContainer2.Panel1.Controls.Add(this.executionContextGroupBox);
    160       //
    161       // splitContainer2.Panel2
    162       //
    163       this.splitContainer2.Panel2.Controls.Add(this.parametersGroupBox);
    164       this.splitContainer2.Size = new System.Drawing.Size(242, 361);
    165       this.splitContainer2.SplitterDistance = 180;
    166       this.splitContainer2.TabIndex = 1;
    167       //
    168       // parametersGroupBox
    169       //
    170       this.parametersGroupBox.Controls.Add(this.parameterListView);
    171       this.parametersGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
    172       this.parametersGroupBox.Location = new System.Drawing.Point(0, 0);
    173       this.parametersGroupBox.Name = "parametersGroupBox";
    174       this.parametersGroupBox.Size = new System.Drawing.Size(242, 177);
    175       this.parametersGroupBox.TabIndex = 0;
    176       this.parametersGroupBox.TabStop = false;
    177       this.parametersGroupBox.Text = "Parameters";
    178       //
    179       // executionContextGroupBox
    180       //
    181       this.executionContextGroupBox.Controls.Add(this.executionContextTreeView);
    182       this.executionContextGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
    183       this.executionContextGroupBox.Location = new System.Drawing.Point(0, 0);
    184       this.executionContextGroupBox.Name = "executionContextGroupBox";
    185       this.executionContextGroupBox.Size = new System.Drawing.Size(242, 180);
    186       this.executionContextGroupBox.TabIndex = 0;
    187       this.executionContextGroupBox.TabStop = false;
    188       this.executionContextGroupBox.Text = "Execution Context";
    189       //
    190       // scopeGroupBox
    191       //
    192       this.scopeGroupBox.Controls.Add(this.scopeTreeView);
    193       this.scopeGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
    194       this.scopeGroupBox.Location = new System.Drawing.Point(0, 0);
    195       this.scopeGroupBox.Name = "scopeGroupBox";
    196       this.scopeGroupBox.Size = new System.Drawing.Size(305, 361);
    197       this.scopeGroupBox.TabIndex = 1;
    198       this.scopeGroupBox.TabStop = false;
    199       this.scopeGroupBox.Text = "Scope";
    200       //
    201       // executionContextTreeView
    202       //
    203       this.executionContextTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
    204       this.executionContextTreeView.Location = new System.Drawing.Point(3, 16);
    205       this.executionContextTreeView.Name = "executionContextTreeView";
    206       this.executionContextTreeView.Size = new System.Drawing.Size(236, 161);
    207       this.executionContextTreeView.TabIndex = 0;
    208       this.executionContextTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseClick);
    209       this.executionContextTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseDoubleClick);
    210212      //
    211213      // timer
    … …  
    229231      this.splitContainer2.Panel2.ResumeLayout(false);
    230232      this.splitContainer2.ResumeLayout(false);
     233      this.executionContextGroupBox.ResumeLayout(false);
    231234      this.parametersGroupBox.ResumeLayout(false);
    232       this.executionContextGroupBox.ResumeLayout(false);
    233235      this.scopeGroupBox.ResumeLayout(false);
    234236      this.ResumeLayout(false);
Note: See TracChangeset for help on using the changeset viewer.