Changeset 3248 in josm

Timestamp:

May 15, 2010 1:57:16 PM (3 years ago)

Author:

stoecker

Message:

don't allow plugins for applet josm

Location:

trunk/src/org/openstreetmap/josm/gui

Files:

• MainApplet.java (modified) (2 diffs)
• preferences/PreferenceTabbedPane.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/MainApplet.java

@@ -105 +105 @@
         Main.preConstructorInit(args);
 
-        Main.applet = true;
         Main.pref = new ServerSidePreferences(getCodeBase());
         ((ServerSidePreferences)Main.pref).download(username, password);
@@ -138 +137 @@
 
     public static void main(String[] args) {
+        Main.applet = true;
         MainApplet applet = new MainApplet();
         applet.setStub(new AppletStub() {

trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

@@ -244 +244 @@
         settingsFactory.add(new MapPaintPreference.Factory());
         settingsFactory.add(new TaggingPresetPreference.Factory());
-        settingsFactory.add(new PluginPreference.Factory());
+        if(!Main.applet)
+            settingsFactory.add(new PluginPreference.Factory());
         settingsFactory.add(Main.toolbar);
         settingsFactory.add(new AudioPreference.Factory());