Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r2853 r2855  
    657657        }
    658658
    659         if (plugin == null)
    660         {
     659        if (plugin == null) {
    661660            /**
    662661             * Analyze the stack of the argument and find a name of a plugin, if
    663662             * some known problem pattern has been found.
    664663             */
    665             for (PluginProxy p : pluginList)
    666             {
     664            for (PluginProxy p : pluginList) {
    667665                String baseClass = p.getPluginInformation().className;
    668666                int i = baseClass.lastIndexOf(".");
    669667                baseClass = baseClass.substring(0, i);
    670                 for (StackTraceElement element : e.getStackTrace())
    671                 {
     668                for (StackTraceElement element : e.getStackTrace()) {
    672669                    String c = element.getClassName();
    673                     if(c.startsWith(baseClass))
    674                     {
     670                    if (c.startsWith(baseClass)) {
    675671                        plugin = p;
    676672                        break;
    677673                    }
    678674                }
    679                 if(plugin != null) {
     675                if (plugin != null) {
    680676                    break;
    681677                }
Note: See TracChangeset for help on using the changeset viewer.