Changeset 17634 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2021-03-21T23:33:16+01:00 (4 years ago)

Author:

simon04

Message:

fix #19292 - Selection List: Option to not sort the objects but show the real order of selection

To enable, set the advanced preference selection.no_sort to true

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/SelectionListDialog.java (modified) (1 diff)

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

@@ -636 +636 @@
          */
         public synchronized void sort() {
+            if (Config.getPref().getBoolean("selection.no_sort", false)) {
+                return;
+            }
             int size = selection.size();
             if (size > 1 && size <= Config.getPref().getInt("selection.no_sort_above", 100_000)) {