Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
07/30/14 14:59:20 (10 years ago)
Author:
pfleck
Message:

#2208 improved visualization of orienteering solution

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/HeuristicLab.Problems.Orienteering/HeuristicLab.Problems.Orienteering.Views/3.3/OrienteeringSolutionView.Designer.cs

    r11235 r11240  
    5959      this.valueTabPage.SuspendLayout();
    6060      this.tourGroupBox.SuspendLayout();
     61      ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit();
    6162      this.splitContainer.Panel1.SuspendLayout();
    6263      this.splitContainer.Panel2.SuspendLayout();
     
    6768      // pictureBox
    6869      //
    69       this.pictureBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    70                   | System.Windows.Forms.AnchorStyles.Left)
    71                   | System.Windows.Forms.AnchorStyles.Right)));
     70      this.pictureBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
     71            | System.Windows.Forms.AnchorStyles.Left)
     72            | System.Windows.Forms.AnchorStyles.Right)));
    7273      this.pictureBox.BackColor = System.Drawing.Color.White;
    7374      this.pictureBox.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
    7475      this.pictureBox.Location = new System.Drawing.Point(6, 6);
    7576      this.pictureBox.Name = "pictureBox";
    76       this.pictureBox.Size = new System.Drawing.Size(403, 288);
     77      this.pictureBox.Size = new System.Drawing.Size(403, 322);
    7778      this.pictureBox.TabIndex = 0;
    7879      this.pictureBox.TabStop = false;
     
    8182      // tabControl
    8283      //
    83       this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    84                   | System.Windows.Forms.AnchorStyles.Left)
    85                   | System.Windows.Forms.AnchorStyles.Right)));
     84      this.tabControl.AllowDrop = true;
     85      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     86            | System.Windows.Forms.AnchorStyles.Left)
     87            | System.Windows.Forms.AnchorStyles.Right)));
    8688      this.tabControl.Controls.Add(this.visualizationTabPage);
    8789      this.tabControl.Controls.Add(this.valueTabPage);
     
    8991      this.tabControl.Name = "tabControl";
    9092      this.tabControl.SelectedIndex = 0;
    91       this.tabControl.Size = new System.Drawing.Size(423, 326);
     93      this.tabControl.Size = new System.Drawing.Size(423, 360);
    9294      this.tabControl.TabIndex = 0;
    9395      //
     
    98100      this.visualizationTabPage.Name = "visualizationTabPage";
    99101      this.visualizationTabPage.Padding = new System.Windows.Forms.Padding(3);
    100       this.visualizationTabPage.Size = new System.Drawing.Size(415, 300);
     102      this.visualizationTabPage.Size = new System.Drawing.Size(415, 334);
    101103      this.visualizationTabPage.TabIndex = 0;
    102104      this.visualizationTabPage.Text = "Visualization";
     
    116118      // tourGroupBox
    117119      //
    118       this.tourGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    119                   | System.Windows.Forms.AnchorStyles.Left)
    120                   | System.Windows.Forms.AnchorStyles.Right)));
     120      this.tourGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
     121            | System.Windows.Forms.AnchorStyles.Left)
     122            | System.Windows.Forms.AnchorStyles.Right)));
    121123      this.tourGroupBox.Controls.Add(this.tourViewHost);
    122124      this.tourGroupBox.Location = new System.Drawing.Point(6, 6);
     
    129131      // tourViewHost
    130132      //
    131       this.tourViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    132                   | System.Windows.Forms.AnchorStyles.Left)
    133                   | System.Windows.Forms.AnchorStyles.Right)));
     133      this.tourViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     134            | System.Windows.Forms.AnchorStyles.Left)
     135            | System.Windows.Forms.AnchorStyles.Right)));
     136      this.tourViewHost.Caption = "View";
    134137      this.tourViewHost.Content = null;
     138      this.tourViewHost.Enabled = false;
    135139      this.tourViewHost.Location = new System.Drawing.Point(6, 19);
    136140      this.tourViewHost.Name = "tourViewHost";
     
    138142      this.tourViewHost.Size = new System.Drawing.Size(391, 263);
    139143      this.tourViewHost.TabIndex = 0;
     144      this.tourViewHost.ViewsLabelVisible = true;
    140145      this.tourViewHost.ViewType = null;
    141146      //
     
    155160      this.splitContainer.Panel2.Controls.Add(this.tabControl);
    156161      this.splitContainer.Size = new System.Drawing.Size(423, 402);
    157       this.splitContainer.SplitterDistance = 69;
     162      this.splitContainer.SplitterDistance = 35;
    158163      this.splitContainer.TabIndex = 0;
    159164      //
    160165      // qualityGroupBox
    161166      //
    162       this.qualityGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    163                   | System.Windows.Forms.AnchorStyles.Left)
    164                   | System.Windows.Forms.AnchorStyles.Right)));
     167      this.qualityGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
     168            | System.Windows.Forms.AnchorStyles.Left)
     169            | System.Windows.Forms.AnchorStyles.Right)));
    165170      this.qualityGroupBox.Controls.Add(this.qualityViewHost);
    166171      this.qualityGroupBox.Location = new System.Drawing.Point(0, 0);
    167172      this.qualityGroupBox.Name = "qualityGroupBox";
    168       this.qualityGroupBox.Size = new System.Drawing.Size(423, 66);
     173      this.qualityGroupBox.Size = new System.Drawing.Size(423, 32);
    169174      this.qualityGroupBox.TabIndex = 0;
    170175      this.qualityGroupBox.TabStop = false;
     
    173178      // qualityViewHost
    174179      //
    175       this.qualityViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    176                   | System.Windows.Forms.AnchorStyles.Left)
    177                   | System.Windows.Forms.AnchorStyles.Right)));
     180      this.qualityViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     181            | System.Windows.Forms.AnchorStyles.Left)
     182            | System.Windows.Forms.AnchorStyles.Right)));
     183      this.qualityViewHost.Caption = "View";
    178184      this.qualityViewHost.Content = null;
     185      this.qualityViewHost.Enabled = false;
    179186      this.qualityViewHost.Location = new System.Drawing.Point(6, 19);
    180187      this.qualityViewHost.Name = "qualityViewHost";
    181188      this.qualityViewHost.ReadOnly = false;
    182       this.qualityViewHost.Size = new System.Drawing.Size(411, 41);
     189      this.qualityViewHost.Size = new System.Drawing.Size(411, 7);
    183190      this.qualityViewHost.TabIndex = 0;
     191      this.qualityViewHost.ViewsLabelVisible = true;
    184192      this.qualityViewHost.ViewType = null;
    185193      //
    186194      // OrienteeringSolutionView
    187195      //
    188       this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    189196      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
    190197      this.Controls.Add(this.splitContainer);
     
    198205      this.splitContainer.Panel1.ResumeLayout(false);
    199206      this.splitContainer.Panel2.ResumeLayout(false);
     207      ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).EndInit();
    200208      this.splitContainer.ResumeLayout(false);
    201209      this.qualityGroupBox.ResumeLayout(false);
    202210      this.ResumeLayout(false);
     211
    203212    }
    204213
Note: See TracChangeset for help on using the changeset viewer.