Changeset 6070 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/ShortcutPreference.java

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

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/ShortcutPreference.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/ShortcutPreference.java

@@ -19 +19 @@
 
     private String defaultFilter;
-            
+
     public static class Factory implements PreferenceSettingFactory {
         public PreferenceSetting createPreferenceSetting() {
@@ -25 +25 @@
         }
     }
-    
+
     private ShortcutPreference() {
         // icon source: http://www.iconfinder.net/index.php?q=key&page=icondetails&iconid=8553&size=128&q=key&s12=on&s16=on&s22=on&s32=on&s48=on&s64=on&s128=on
@@ -35 +35 @@
         super("shortcuts", tr("Keyboard Shortcuts"), tr("Changing keyboard shortcuts manually."));
     }
-    
+
     @Override
     public void addGui(PreferenceTabbedPane gui) {
@@ -49 +49 @@
         return Shortcut.savePrefs();
     }
-    
+
     public void setDefaultFilter(String substring) {
         defaultFilter = substring;