Changeset 3573 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/PluginEditor.Designer.cs
- Timestamp:
- 04/30/10 15:13:48 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/PluginEditor.Designer.cs
r3547 r3573 45 45 /// </summary> 46 46 private void InitializeComponent() { 47 this.components = new System.ComponentModel.Container(); 47 48 this.uploadButton = new System.Windows.Forms.Button(); 48 49 this.refreshButton = new System.Windows.Forms.Button(); … … 52 53 this.serverVersionHeader = new System.Windows.Forms.ColumnHeader(); 53 54 this.descriptionHeader = new System.Windows.Forms.ColumnHeader(); 55 this.toolTip = new System.Windows.Forms.ToolTip(this.components); 54 56 this.SuspendLayout(); 55 57 // … … 59 61 this.uploadButton.Enabled = false; 60 62 this.uploadButton.Image = global::HeuristicLab.PluginInfrastructure.Properties.Resources.VS2008ImageLibrary_CommonElements_Objects_Arrow_Up; 61 this.uploadButton.Location = new System.Drawing.Point(78, 4 77);63 this.uploadButton.Location = new System.Drawing.Point(78, 482); 62 64 this.uploadButton.Name = "uploadButton"; 63 this.uploadButton.Size = new System.Drawing.Size(114, 31);65 this.uploadButton.Size = new System.Drawing.Size(114, 26); 64 66 this.uploadButton.TabIndex = 7; 65 67 this.uploadButton.Text = "Upload Selected"; 66 68 this.uploadButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText; 69 this.toolTip.SetToolTip(this.uploadButton, "Upload selected plugins to the server"); 67 70 this.uploadButton.UseVisualStyleBackColor = true; 68 71 this.uploadButton.Click += new System.EventHandler(this.uploadButton_Click); … … 72 75 this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 73 76 this.refreshButton.Image = global::HeuristicLab.PluginInfrastructure.Properties.Resources.VS2008ImageLibrary_Objects_Internet; 74 this.refreshButton.Location = new System.Drawing.Point(0, 4 77);77 this.refreshButton.Location = new System.Drawing.Point(0, 482); 75 78 this.refreshButton.Name = "refreshButton"; 76 this.refreshButton.Size = new System.Drawing.Size(72, 31);79 this.refreshButton.Size = new System.Drawing.Size(72, 26); 77 80 this.refreshButton.TabIndex = 6; 78 81 this.refreshButton.Text = "Refresh"; 79 82 this.refreshButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText; 83 this.toolTip.SetToolTip(this.refreshButton, "Update list of plugins from the server"); 80 84 this.refreshButton.UseVisualStyleBackColor = true; 81 85 this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click); … … 94 98 this.listView.Location = new System.Drawing.Point(0, 0); 95 99 this.listView.Name = "listView"; 96 this.listView.Size = new System.Drawing.Size(539, 47 1);100 this.listView.Size = new System.Drawing.Size(539, 476); 97 101 this.listView.SuppressItemCheckedEvents = false; 98 102 this.listView.TabIndex = 8; … … 144 148 private System.Windows.Forms.ColumnHeader serverVersionHeader; 145 149 private System.Windows.Forms.ColumnHeader descriptionHeader; 150 private System.Windows.Forms.ToolTip toolTip; 146 151 } 147 152 }
Note: See TracChangeset
for help on using the changeset viewer.