Ticket #5201: select.history-size.diff

src/org/openstreetmap/josm/gui/dialogs/SelectionListDialog.java

@@ -528 +528 @@
                     break;
                 }
             }
-            while (history.size() > SELECTION_HISTORY_SIZE) {
+            int maxsize = Main.pref.getInteger("select.history-size", SELECTION_HISTORY_SIZE);
+            while (history.size() > maxsize) {
                 history.removeLast();
             }
         }