Changeset 2855 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2010-01-14T10:26:13+01:00 (15 years ago)

Author:

Gubaer

Message:

fixed #4364: editing an "advanced preference" will disable all plugins
fixed #4351: Button sizes in plugin preferences different (last button is smaller)

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

@@ -657 +657 @@
         }
 
-        if (plugin == null)
-        {
+        if (plugin == null) {
             /**
              * Analyze the stack of the argument and find a name of a plugin, if
              * some known problem pattern has been found.
              */
-            for (PluginProxy p : pluginList)
-            {
+            for (PluginProxy p : pluginList) {
                 String baseClass = p.getPluginInformation().className;
                 int i = baseClass.lastIndexOf(".");
                 baseClass = baseClass.substring(0, i);
-                for (StackTraceElement element : e.getStackTrace())
-                {
+                for (StackTraceElement element : e.getStackTrace()) {
                     String c = element.getClassName();
-                    if(c.startsWith(baseClass))
-                    {
+                    if (c.startsWith(baseClass)) {
                         plugin = p;
                         break;
                     }
                 }
-                if(plugin != null) {
+                if (plugin != null) {
                     break;
                 }