Changeset 3112 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/LocalPluginManager.Designer.cs

Timestamp:

03/19/10 11:46:07 (15 years ago)

Author:

gkronber

Message:

• Added missing license headers
• performance improvement in listview_itemchecked handlers
• added functionality to switch between simple and advanced view in remote plugins view
• changed url of deployment service in preparation for next release of the test version
• added default user credentials for the deployment service in preparation for the next release of the test version

#891 (Refactor GUI for plugin management)

File:

• trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/LocalPluginManager.Designer.cs (modified) (2 diffs)

trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/LocalPluginManager.Designer.cs

@@ -46 +46 @@
       this.components = new System.ComponentModel.Container();
       System.Windows.Forms.ListViewGroup listViewGroup1 = new System.Windows.Forms.ListViewGroup("Active Plugins", System.Windows.Forms.HorizontalAlignment.Left);
-      System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("Inactive Plugins", System.Windows.Forms.HorizontalAlignment.Left);
+      System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("Disabled Plugins", System.Windows.Forms.HorizontalAlignment.Left);
       this.imageListForLocalItems = new System.Windows.Forms.ImageList(this.components);
       this.localPluginsListView = new HeuristicLab.PluginInfrastructure.Advanced.MultiSelectListView();
@@ -70 +70 @@
       listViewGroup1.Header = "Active Plugins";
       listViewGroup1.Name = "activePluginsGroup";
-      listViewGroup2.Header = "Inactive Plugins";
-      listViewGroup2.Name = "inactivePluginsGroup";
+      listViewGroup2.Header = "Disabled Plugins";
+      listViewGroup2.Name = "disabledPluginsGroup";
       this.localPluginsListView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
             listViewGroup1,