Changeset 10397

Timestamp:

09/29/10 11:37:33 (3 years ago)

Author:

Snyder.Jason

Message:

added preferences for default domain and device manager

Files:

• ossiedev/trunk/tools/OEF/src/edu/vt/ossie/OWDPlugin.java (modified) (1 diff)

ossiedev/trunk/tools/OEF/src/edu/vt/ossie/OWDPlugin.java

@@ -77 +77 @@
     public static final String PREF_LICENSE_TEXT = 
         PLUGIN_ID + ".preferences.license.text";
+    public static final String PREF_DEFAULT_DEVICE_MANAGER =
+        PLUGIN_ID + ".preferences.default.device.manager";
+    public static final String PREF_DEFAULT_DOMAIN_MANAGER =
+        PLUGIN_ID + ".preferences.default.device.manager";