Changeset 1262 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/LafPreference.java

Timestamp:

14.01.2009 18:32:30 (3 years ago)

Author:

stoecker

Message:

fix #1914. slightly modified patch by xeen

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/LafPreference.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/LafPreference.java

@@ -32 +32 @@
     private JCheckBox showSplashScreen = new JCheckBox(tr("Show splash screen at startup"));
     private JCheckBox showID = new JCheckBox(tr("Show object ID in selection lists"));
+    private JCheckBox drawHelperLine = new JCheckBox(tr("Draw rubber-band helper line"));
 
     public void addGui(PreferenceDialog gui) {
@@ -77 +78 @@
         panel.add(showID, GBC.eop().insets(20, 0, 0, 0));
 
+        drawHelperLine.setToolTipText(tr("Draw rubber-band helper line"));
+        drawHelperLine.setSelected(Main.pref.getBoolean("draw.helper-line", true));
+        panel.add(drawHelperLine, GBC.eop().insets(20, 0, 0, 0));
+
         panel.add(Box.createVerticalGlue(), GBC.eol().insets(0, 20, 0, 0));
 
@@ -91 +96 @@
         Main.pref.put("draw.splashscreen", showSplashScreen.isSelected());
         Main.pref.put("osm-primitives.showid", showID.isSelected());
+        Main.pref.put("draw.helper-line", drawHelperLine.isSelected());
         return Main.pref.put("laf", ((LookAndFeelInfo)lafCombo.getSelectedItem()).getClassName());
     }