Changeset 3068 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/RemotePluginInstaller.Designer.cs
- Timestamp:
- 03/16/10 17:14:35 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/RemotePluginInstaller.Designer.cs
r2922 r3068 25 25 private void InitializeComponent() { 26 26 this.components = new System.ComponentModel.Container(); 27 System.Windows.Forms.ListViewGroup listViewGroup1 = new System.Windows.Forms.ListViewGroup("Available Products", System.Windows.Forms.HorizontalAlignment.Left); 28 System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("Available Plugins (Most Recent Version)", System.Windows.Forms.HorizontalAlignment.Left); 29 System.Windows.Forms.ListViewGroup listViewGroup3 = new System.Windows.Forms.ListViewGroup("Available Plugins (All Versions)", System.Windows.Forms.HorizontalAlignment.Left); 30 this.remotePluginsListView = new System.Windows.Forms.ListView(); 31 this.columnHeader1 = new System.Windows.Forms.ColumnHeader(); 32 this.columnHeader2 = new System.Windows.Forms.ColumnHeader(); 33 this.columnHeader3 = new System.Windows.Forms.ColumnHeader(); 27 System.Windows.Forms.ListViewGroup listViewGroup1 = new System.Windows.Forms.ListViewGroup("Products", System.Windows.Forms.HorizontalAlignment.Left); 28 System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("New Plugins", System.Windows.Forms.HorizontalAlignment.Left); 29 System.Windows.Forms.ListViewGroup listViewGroup3 = new System.Windows.Forms.ListViewGroup("All Plugins", System.Windows.Forms.HorizontalAlignment.Left); 34 30 this.imageListForRemoteItems = new System.Windows.Forms.ImageList(this.components); 31 this.remotePluginsListView = new HeuristicLab.PluginInfrastructure.Advanced.MultiSelectListView(); 32 this.nameHeader = new System.Windows.Forms.ColumnHeader(); 33 this.versionHeader = new System.Windows.Forms.ColumnHeader(); 34 this.descriptionHeader = new System.Windows.Forms.ColumnHeader(); 35 35 this.SuspendLayout(); 36 // 37 // imageListForRemoteItems 38 // 39 this.imageListForRemoteItems.ColorDepth = System.Windows.Forms.ColorDepth.Depth32Bit; 40 this.imageListForRemoteItems.ImageSize = new System.Drawing.Size(13, 13); 41 this.imageListForRemoteItems.TransparentColor = System.Drawing.Color.Transparent; 36 42 // 37 43 // remotePluginsListView … … 39 45 this.remotePluginsListView.CheckBoxes = true; 40 46 this.remotePluginsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] { 41 this. columnHeader1,42 this. columnHeader2,43 this. columnHeader3});47 this.nameHeader, 48 this.versionHeader, 49 this.descriptionHeader}); 44 50 this.remotePluginsListView.Dock = System.Windows.Forms.DockStyle.Fill; 45 this.remotePluginsListView.FullRowSelect = true; 46 listViewGroup1.Header = "Available Products"; 51 listViewGroup1.Header = "Products"; 47 52 listViewGroup1.Name = "productsGroup"; 48 listViewGroup2.Header = " Available Plugins (Most Recent Version)";53 listViewGroup2.Header = "New Plugins"; 49 54 listViewGroup2.Name = "newPluginsGroup"; 50 listViewGroup3.Header = "A vailable Plugins (All Versions)";55 listViewGroup3.Header = "All Plugins"; 51 56 listViewGroup3.Name = "allPluginsGroup"; 52 57 this.remotePluginsListView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] { … … 58 63 this.remotePluginsListView.Size = new System.Drawing.Size(533, 558); 59 64 this.remotePluginsListView.StateImageList = this.imageListForRemoteItems; 60 this.remotePluginsListView.TabIndex = 10; 65 this.remotePluginsListView.SuppressItemCheckedEvents = false; 66 this.remotePluginsListView.TabIndex = 0; 61 67 this.remotePluginsListView.UseCompatibleStateImageBehavior = false; 62 68 this.remotePluginsListView.View = System.Windows.Forms.View.Details; 63 69 this.remotePluginsListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.remotePluginsListView_ItemChecked); 64 70 // 65 // columnHeader171 // nameHeader 66 72 // 67 this. columnHeader1.Text = "Name";68 this. columnHeader1.Width = 220;73 this.nameHeader.Text = "Name"; 74 this.nameHeader.Width = 115; 69 75 // 70 // columnHeader276 // versionHeader 71 77 // 72 this. columnHeader2.Text = "Version";73 this. columnHeader2.Width = 120;78 this.versionHeader.Text = "Version"; 79 this.versionHeader.Width = 161; 74 80 // 75 // columnHeader381 // descriptionHeader 76 82 // 77 this.columnHeader3.Text = "Description"; 78 this.columnHeader3.Width = 240; 79 // 80 // imageListForRemoteItems 81 // 82 this.imageListForRemoteItems.ColorDepth = System.Windows.Forms.ColorDepth.Depth32Bit; 83 this.imageListForRemoteItems.ImageSize = new System.Drawing.Size(13, 13); 84 this.imageListForRemoteItems.TransparentColor = System.Drawing.Color.Transparent; 83 this.descriptionHeader.Text = "Description"; 84 this.descriptionHeader.Width = 250; 85 85 // 86 86 // RemotePluginInstaller … … 97 97 #endregion 98 98 99 private System.Windows.Forms.ListView remotePluginsListView;100 private System.Windows.Forms.ColumnHeader columnHeader1;101 private System.Windows.Forms.ColumnHeader columnHeader2;102 private System.Windows.Forms.ColumnHeader columnHeader3;103 99 private System.Windows.Forms.ImageList imageListForRemoteItems; 100 private MultiSelectListView remotePluginsListView; 101 private System.Windows.Forms.ColumnHeader nameHeader; 102 private System.Windows.Forms.ColumnHeader versionHeader; 103 private System.Windows.Forms.ColumnHeader descriptionHeader; 104 104 } 105 105 }
Note: See TracChangeset
for help on using the changeset viewer.