Index: trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java	(revision 10292)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java	(revision 10293)
@@ -1602,5 +1602,5 @@
             if (anEvent instanceof MouseEvent)
                 return ((MouseEvent) anEvent).getClickCount() >= 2;
-                return true;
+            return true;
         }