Ignore:
Timestamp:
2013-07-17T00:01:49+02:00 (11 years ago)
Author:
stoecker
Message:

see #8853 remove tabs, trailing spaces, windows line ends, strange characters

Location:
trunk/src/org/openstreetmap/josm/gui/preferences/plugin
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java

    r5609 r6070  
    8888        add(hint, gbc);
    8989    }
    90    
     90
    9191    /**
    9292     * A plugin checkbox.
    … …  
    102102        }
    103103    }
    104    
     104
    105105    /**
    106106     * Listener called when the user selects/unselects a plugin checkbox.
    … …  
    139139                        for (String s : pi.getRequiredPlugins()) {
    140140                            if (s.equals(cb.pi.getName())) {
    141                                 otherPlugins.add(pi.getName()); 
     141                                otherPlugins.add(pi.getName());
    142142                                break;
    143143                            }
    … …  
    151151        }
    152152    };
    153    
     153
    154154
    155155    /**

  • trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java

    r5601 r6070  
    295295        return ret;
    296296    }
    297    
     297
    298298    /**
    299299     * Replies the set of all available plugins.
Note: See TracChangeset for help on using the changeset viewer.