Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
05/05/10 11:37:57 (14 years ago)
Author:
gkronber
Message:

Refactored class names and fixed a dependency-selection bug. #994 (Clean up plugin infrastructure project)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/PluginView.Designer.cs

    r3624 r3627  
    5252      this.contactTextBox = new System.Windows.Forms.TextBox();
    5353      this.contactInfoLabel = new System.Windows.Forms.Label();
    54       this.licenseButton = new System.Windows.Forms.Button();
    5554      this.dependenciesGroupBox = new System.Windows.Forms.GroupBox();
    5655      this.dependenciesListView = new System.Windows.Forms.ListView();
     
    7069      this.descriptionTextBox = new System.Windows.Forms.TextBox();
    7170      this.errorTextBox = new System.Windows.Forms.TextBox();
     71      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
     72      this.showLicenseButton = new System.Windows.Forms.Button();
    7273      this.dependenciesGroupBox.SuspendLayout();
    7374      this.filesGroupBox.SuspendLayout();
     
    131132      this.contactInfoLabel.Text = "Contact:";
    132133      //
    133       // licenseButton
    134       //
    135       this.licenseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    136       this.licenseButton.Location = new System.Drawing.Point(3, 575);
    137       this.licenseButton.Name = "licenseButton";
    138       this.licenseButton.Size = new System.Drawing.Size(103, 23);
    139       this.licenseButton.TabIndex = 10;
    140       this.licenseButton.Text = "Show license";
    141       this.licenseButton.UseVisualStyleBackColor = true;
    142       this.licenseButton.Click += new System.EventHandler(this.licenseButton_Click);
    143       //
    144134      // dependenciesGroupBox
    145135      //
     
    150140      this.dependenciesGroupBox.Location = new System.Drawing.Point(12, 324);
    151141      this.dependenciesGroupBox.Name = "dependenciesGroupBox";
    152       this.dependenciesGroupBox.Size = new System.Drawing.Size(663, 229);
     142      this.dependenciesGroupBox.Size = new System.Drawing.Size(663, 198);
    153143      this.dependenciesGroupBox.TabIndex = 1;
    154144      this.dependenciesGroupBox.TabStop = false;
     
    164154      this.dependenciesListView.Location = new System.Drawing.Point(3, 16);
    165155      this.dependenciesListView.Name = "dependenciesListView";
    166       this.dependenciesListView.Size = new System.Drawing.Size(657, 210);
     156      this.dependenciesListView.Size = new System.Drawing.Size(657, 179);
    167157      this.dependenciesListView.SmallImageList = this.pluginsImageList;
    168158      this.dependenciesListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
     
    294284      this.errorTextBox.TabIndex = 21;
    295285      //
     286      // showLicenseButton
     287      //
     288      this.showLicenseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     289      this.showLicenseButton.Location = new System.Drawing.Point(12, 528);
     290      this.showLicenseButton.Name = "showLicenseButton";
     291      this.showLicenseButton.Size = new System.Drawing.Size(87, 23);
     292      this.showLicenseButton.TabIndex = 22;
     293      this.showLicenseButton.Text = "Show License";
     294      this.toolTip.SetToolTip(this.showLicenseButton, "Show Plugin License");
     295      this.showLicenseButton.UseVisualStyleBackColor = true;
     296      this.showLicenseButton.Click += new System.EventHandler(this.showLicenseButton_Click);
     297      //
    296298      // PluginView
    297299      //
     
    299301      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    300302      this.ClientSize = new System.Drawing.Size(687, 565);
     303      this.Controls.Add(this.showLicenseButton);
    301304      this.Controls.Add(this.errorTextBox);
    302305      this.Controls.Add(this.descriptionTextBox);
     
    307310      this.Controls.Add(this.dependenciesGroupBox);
    308311      this.Controls.Add(this.filesGroupBox);
    309       this.Controls.Add(this.licenseButton);
    310312      this.Controls.Add(this.contactTextBox);
    311313      this.Controls.Add(this.contactInfoLabel);
     
    331333    protected System.Windows.Forms.TextBox contactTextBox;
    332334    protected System.Windows.Forms.Label contactInfoLabel;
    333     protected System.Windows.Forms.Button licenseButton;
    334335    protected System.Windows.Forms.GroupBox dependenciesGroupBox;
    335336    private System.Windows.Forms.ColumnHeader pluginNameHeader;
     
    349350    private System.Windows.Forms.ImageList filesImageList;
    350351    private System.Windows.Forms.ColumnHeader pluginDescriptionHeader;
     352    private System.Windows.Forms.ToolTip toolTip;
     353    private System.Windows.Forms.Button showLicenseButton;
    351354
    352355  }
Note: See TracChangeset for help on using the changeset viewer.