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/DebugEngineView.Designer.cs

    r4904 r4909  
    4747      this.components = new System.ComponentModel.Container();
    4848      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(DebugEngineView));
    49       this.label1 = new System.Windows.Forms.Label();
    50       this.executionTimeTextBox = new System.Windows.Forms.TextBox();
    51       this.operationContentView = new OperationContentView();
    52       this.logView = new HeuristicLab.Core.Views.LogView();
    53       this.splitContainer1 = new System.Windows.Forms.SplitContainer();
     49      this.operationContentView = new HeuristicLab.DebugEngine.OperationContentView();
     50      this.executionStackView = new HeuristicLab.DebugEngine.ExecutionStackView();
    5451      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
     52      this.refreshButton = new System.Windows.Forms.Button();
     53      this.skipStackOpsCheckBox = new System.Windows.Forms.CheckBox();
    5554      this.stepButton = new System.Windows.Forms.Button();
    5655      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
    57       this.refreshButton = new System.Windows.Forms.Button();
    58       this.skipStackOpsCheckBox = new System.Windows.Forms.CheckBox();
    5956      this.splitContainer3 = new System.Windows.Forms.SplitContainer();
    60       this.executionStackView = new HeuristicLab.DebugEngine.ExecutionStackView();
    61       this.operatorTraceView = new OperatorTraceView();
    62       this.splitContainer1.Panel1.SuspendLayout();
    63       this.splitContainer1.Panel2.SuspendLayout();
    64       this.splitContainer1.SuspendLayout();
     57      this.operatorTraceView = new HeuristicLab.DebugEngine.OperatorTraceView();
    6558      this.splitContainer2.Panel1.SuspendLayout();
    6659      this.splitContainer2.Panel2.SuspendLayout();
    6760      this.splitContainer2.SuspendLayout();
    6861      this.splitContainer3.Panel1.SuspendLayout();
     62      this.splitContainer3.Panel2.SuspendLayout();
    6963      this.splitContainer3.SuspendLayout();
    7064      this.SuspendLayout();
    7165      //
    72       // label1
    73       //
    74       this.label1.AutoSize = true;
    75       this.label1.Location = new System.Drawing.Point(3, 9);
    76       this.label1.Name = "label1";
    77       this.label1.Size = new System.Drawing.Size(83, 13);
    78       this.label1.TabIndex = 0;
    79       this.label1.Text = "Execution Time:";
    80       //
    81       // executionTimeTextBox
    82       //
    83       this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     66      // operationContentView
     67      //
     68      this.operationContentView.Caption = "Operation Content View";
     69      this.operationContentView.Content = null;
     70      this.operationContentView.Dock = System.Windows.Forms.DockStyle.Fill;
     71      this.operationContentView.Location = new System.Drawing.Point(0, 0);
     72      this.operationContentView.Name = "operationContentView";
     73      this.operationContentView.ReadOnly = false;
     74      this.operationContentView.Size = new System.Drawing.Size(484, 538);
     75      this.operationContentView.TabIndex = 0;
     76      //
     77      // executionStackView
     78      //
     79      this.executionStackView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     80                  | System.Windows.Forms.AnchorStyles.Left)
    8481                  | System.Windows.Forms.AnchorStyles.Right)));
    85       this.executionTimeTextBox.Location = new System.Drawing.Point(92, 6);
    86       this.executionTimeTextBox.Name = "executionTimeTextBox";
    87       this.executionTimeTextBox.ReadOnly = true;
    88       this.executionTimeTextBox.Size = new System.Drawing.Size(611, 20);
    89       this.executionTimeTextBox.TabIndex = 1;
    90       //
    91       // logView
    92       //
    93       this.logView.Caption = "Log View";
    94       this.logView.Content = null;
    95       this.logView.Dock = System.Windows.Forms.DockStyle.Fill;
    96       this.logView.Location = new System.Drawing.Point(0, 0);
    97       this.logView.Name = "logView";
    98       this.logView.ReadOnly = false;
    99       this.logView.Size = new System.Drawing.Size(198, 237);
    100       this.logView.TabIndex = 2;
    101       //
    102       // splitContainer1
    103       //
    104       this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
    105       this.splitContainer1.Location = new System.Drawing.Point(0, 0);
    106       this.splitContainer1.Name = "splitContainer1";
    107       this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
    108       //
    109       // splitContainer1.Panel1
    110       //
    111       this.splitContainer1.Panel1.Controls.Add(this.executionStackView);
    112       //
    113       // splitContainer1.Panel2
    114       //
    115       this.splitContainer1.Panel2.Controls.Add(this.logView);
    116       this.splitContainer1.Size = new System.Drawing.Size(198, 502);
    117       this.splitContainer1.SplitterDistance = 261;
    118       this.splitContainer1.TabIndex = 3;
     82      this.executionStackView.Caption = "Execution Stack View";
     83      this.executionStackView.Content = null;
     84      this.executionStackView.Location = new System.Drawing.Point(0, 0);
     85      this.executionStackView.Name = "executionStackView";
     86      this.executionStackView.ReadOnly = false;
     87      this.executionStackView.Size = new System.Drawing.Size(197, 505);
     88      this.executionStackView.TabIndex = 0;
    11989      //
    12090      // splitContainer2
    … …  
    12696      // splitContainer2.Panel1
    12797      //
    128       this.splitContainer2.Panel1.Controls.Add(this.splitContainer1);
     98      this.splitContainer2.Panel1.Controls.Add(this.executionStackView);
     99      this.splitContainer2.Panel1.Controls.Add(this.refreshButton);
     100      this.splitContainer2.Panel1.Controls.Add(this.skipStackOpsCheckBox);
     101      this.splitContainer2.Panel1.Controls.Add(this.stepButton);
    129102      //
    130103      // splitContainer2.Panel2
    131104      //
    132105      this.splitContainer2.Panel2.Controls.Add(this.operationContentView);
    133       this.splitContainer2.Size = new System.Drawing.Size(683, 502);
    134       this.splitContainer2.SplitterDistance = 198;
     106      this.splitContainer2.Size = new System.Drawing.Size(687, 538);
     107      this.splitContainer2.SplitterDistance = 199;
    135108      this.splitContainer2.TabIndex = 0;
    136109      //
     110      // refreshButton
     111      //
     112      this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     113      this.refreshButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshButton.Image")));
     114      this.refreshButton.Location = new System.Drawing.Point(3, 511);
     115      this.refreshButton.Name = "refreshButton";
     116      this.refreshButton.Size = new System.Drawing.Size(24, 24);
     117      this.refreshButton.TabIndex = 5;
     118      this.toolTip.SetToolTip(this.refreshButton, "Refresh View");
     119      this.refreshButton.UseVisualStyleBackColor = true;
     120      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
     121      //
     122      // skipStackOpsCheckBox
     123      //
     124      this.skipStackOpsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     125      this.skipStackOpsCheckBox.AutoSize = true;
     126      this.skipStackOpsCheckBox.Location = new System.Drawing.Point(63, 516);
     127      this.skipStackOpsCheckBox.Name = "skipStackOpsCheckBox";
     128      this.skipStackOpsCheckBox.Size = new System.Drawing.Size(78, 17);
     129      this.skipStackOpsCheckBox.TabIndex = 6;
     130      this.skipStackOpsCheckBox.Text = "Skip Stack";
     131      this.toolTip.SetToolTip(this.skipStackOpsCheckBox, "Automatically step over steps that manipulate only the execution stack");
     132      this.skipStackOpsCheckBox.UseVisualStyleBackColor = true;
     133      //
    137134      // stepButton
    138135      //
    139       this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
     136      this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    140137      this.stepButton.Image = ((System.Drawing.Image)(resources.GetObject("stepButton.Image")));
    141       this.stepButton.Location = new System.Drawing.Point(815, 3);
     138      this.stepButton.Location = new System.Drawing.Point(33, 511);
    142139      this.stepButton.Name = "stepButton";
    143140      this.stepButton.Size = new System.Drawing.Size(24, 24);
    … …  
    147144      this.stepButton.Click += new System.EventHandler(this.stepButton_Click);
    148145      //
    149       // refreshButton
    150       //
    151       this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
    152       this.refreshButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshButton.Image")));
    153       this.refreshButton.Location = new System.Drawing.Point(845, 3);
    154       this.refreshButton.Name = "refreshButton";
    155       this.refreshButton.Size = new System.Drawing.Size(24, 24);
    156       this.refreshButton.TabIndex = 5;
    157       this.refreshButton.UseVisualStyleBackColor = true;
    158       this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
    159       //
    160       // skipStackOpsCheckBox
    161       //
    162       this.skipStackOpsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
    163       this.skipStackOpsCheckBox.AutoSize = true;
    164       this.skipStackOpsCheckBox.Location = new System.Drawing.Point(709, 8);
    165       this.skipStackOpsCheckBox.Name = "skipStackOpsCheckBox";
    166       this.skipStackOpsCheckBox.Size = new System.Drawing.Size(100, 17);
    167       this.skipStackOpsCheckBox.TabIndex = 6;
    168       this.skipStackOpsCheckBox.Text = "Skip Stack Ops";
    169       this.skipStackOpsCheckBox.UseVisualStyleBackColor = true;
    170       //
    171146      // splitContainer3
    172147      //
    … …  
    174149                  | System.Windows.Forms.AnchorStyles.Left)
    175150                  | System.Windows.Forms.AnchorStyles.Right)));
    176       this.splitContainer3.Location = new System.Drawing.Point(3, 33);
     151      this.splitContainer3.Location = new System.Drawing.Point(0, 0);
    177152      this.splitContainer3.Name = "splitContainer3";
    178153      //
    … …  
    180155      //
    181156      this.splitContainer3.Panel1.Controls.Add(this.splitContainer2);
     157      //
     158      // splitContainer3.Panel2
     159      //
    182160      this.splitContainer3.Panel2.Controls.Add(this.operatorTraceView);
    183       this.splitContainer3.Size = new System.Drawing.Size(866, 502);
    184       this.splitContainer3.SplitterDistance = 683;
     161      this.splitContainer3.Size = new System.Drawing.Size(872, 538);
     162      this.splitContainer3.SplitterDistance = 687;
    185163      this.splitContainer3.TabIndex = 7;
     164      //
     165      // operatorTraceView
     166      //
     167      this.operatorTraceView.Caption = "Operator Trace View";
     168      this.operatorTraceView.Content = null;
    186169      this.operatorTraceView.Dock = System.Windows.Forms.DockStyle.Fill;
    187       //
    188       // executionStackView
    189       //
    190       this.executionStackView.Caption = "Execution Stack View";
    191       this.executionStackView.Content = null;
    192       this.executionStackView.Dock = System.Windows.Forms.DockStyle.Fill;
    193       this.executionStackView.Location = new System.Drawing.Point(0, 0);
    194       this.executionStackView.Name = "executionStackView";
    195       this.executionStackView.ReadOnly = false;
    196       this.executionStackView.Size = new System.Drawing.Size(198, 261);
    197       this.executionStackView.TabIndex = 0;
    198       //
    199       // operationContentView
    200       //
    201       this.operationContentView.Caption = "Operation Content View";
    202       this.operationContentView.Content = null;
    203       this.operationContentView.Dock = System.Windows.Forms.DockStyle.Fill;
    204       this.operationContentView.Location = new System.Drawing.Point(0, 0);
    205       this.operationContentView.Name = "operationContentView";
    206       this.operationContentView.ReadOnly = false;
    207       this.operationContentView.Size = new System.Drawing.Size(481, 502);
    208       this.operationContentView.TabIndex = 0;
     170      this.operatorTraceView.Location = new System.Drawing.Point(0, 0);
     171      this.operatorTraceView.Name = "operatorTraceView";
     172      this.operatorTraceView.ReadOnly = false;
     173      this.operatorTraceView.Size = new System.Drawing.Size(181, 538);
     174      this.operatorTraceView.TabIndex = 0;
    209175      //
    210176      // DebugEngineView
    … …  
    212178      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    213179      this.Controls.Add(this.splitContainer3);
    214       this.Controls.Add(this.skipStackOpsCheckBox);
    215       this.Controls.Add(this.refreshButton);
    216       this.Controls.Add(this.stepButton);
    217       this.Controls.Add(this.executionTimeTextBox);
    218       this.Controls.Add(this.label1);
    219180      this.Name = "DebugEngineView";
    220181      this.Size = new System.Drawing.Size(872, 538);
    221       this.splitContainer1.Panel1.ResumeLayout(false);
    222       this.splitContainer1.Panel2.ResumeLayout(false);
    223       this.splitContainer1.ResumeLayout(false);
    224182      this.splitContainer2.Panel1.ResumeLayout(false);
     183      this.splitContainer2.Panel1.PerformLayout();
    225184      this.splitContainer2.Panel2.ResumeLayout(false);
    226185      this.splitContainer2.ResumeLayout(false);
    227186      this.splitContainer3.Panel1.ResumeLayout(false);
     187      this.splitContainer3.Panel2.ResumeLayout(false);
    228188      this.splitContainer3.ResumeLayout(false);
    229189      this.ResumeLayout(false);
    230       this.PerformLayout();
    231190
    232191    }
    … …  
    234193    #endregion
    235194
    236     private System.Windows.Forms.Label label1;
    237     private System.Windows.Forms.TextBox executionTimeTextBox;
    238     private Core.Views.LogView logView;
    239     private System.Windows.Forms.SplitContainer splitContainer1;
    240195    private System.Windows.Forms.SplitContainer splitContainer2;
    241196    private System.Windows.Forms.Button stepButton;
Note: See TracChangeset for help on using the changeset viewer.