Changeset 4018 in josm for trunk/src/org/openstreetmap/josm/gui/widgets/HistoryComboBox.java

Timestamp:

2011-04-06T19:09:47+02:00 (13 years ago)

Author:

bastiK

Message:

applied #6187 - Search GUI improvements (patch by bilbo)

File:

• trunk/src/org/openstreetmap/josm/gui/widgets/HistoryComboBox.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/widgets/HistoryComboBox.java

@@ -7 +7 @@
 
 import org.openstreetmap.josm.gui.tagging.ac.AutoCompletingComboBox;
+import org.openstreetmap.josm.Main;
 
 public class HistoryComboBox extends AutoCompletingComboBox {
     private ComboBoxHistory model;
 
+    public static final int DEFAULT_SEARCH_HISTORY_SIZE = 15;
+
     public HistoryComboBox() {
-        setModel(model = new ComboBoxHistory(15));
+        int maxsize = Main.pref.getInteger("search.history-size", DEFAULT_SEARCH_HISTORY_SIZE);
+        setModel(model = new ComboBoxHistory(maxsize));
         setEditable(true);
     }