Changeset 6520 in josm

Timestamp:

2013-12-24T10:56:36+01:00 (11 years ago)

Author:

simon04

Message:

History dialog: make versions navigable with arrow keys up/down

File:

• trunk/src/org/openstreetmap/josm/gui/history/VersionTable.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/history/VersionTable.java

@@ -11 +11 @@
 import java.awt.event.ItemEvent;
 import java.awt.event.ItemListener;
+import java.awt.event.KeyAdapter;
+import java.awt.event.KeyEvent;
 import java.awt.event.MouseEvent;
 import java.util.Observable;
@@ -52 +54 @@
         popupMenu = new VersionTablePopupMenu();
         addMouseListener(new MouseListener());
+        addKeyListener(new KeyAdapter() {
+            @Override
+            public void keyReleased(KeyEvent e) {
+                // navigate history down/up using the corresponding arrow keys.
+                try {
+                    final HistoryOsmPrimitive ref = model.getReferencePointInTime();
+                    final HistoryOsmPrimitive cur = model.getCurrentPointInTime();
+                    if (e.getKeyCode() == KeyEvent.VK_DOWN) {
+                        // compute both values first and set them afterwards such that nothing is changed in case of an exception (e.g., reached top/bottom)
+                        final HistoryOsmPrimitive refNext = model.getHistory().from(ref.getVersion()).sortAscending().get(1);
+                        final HistoryOsmPrimitive curNext = model.getHistory().from(cur.getVersion()).sortAscending().get(1);
+                        model.setReferencePointInTime(refNext);
+                        model.setCurrentPointInTime(curNext);
+                    } else if (e.getKeyCode() == KeyEvent.VK_UP) {
+                        // compute both values first and set them afterwards such that nothing is changed in case of an exception (e.g., reached top/bottom)
+                        final HistoryOsmPrimitive refNext = model.getHistory().until(ref.getVersion()).sortDescending().get(1);
+                        final HistoryOsmPrimitive curNext = model.getHistory().until(cur.getVersion()).sortDescending().get(1);
+                        model.setReferencePointInTime(refNext);
+                        model.setCurrentPointInTime(curNext);
+                    }
+                } catch (NullPointerException ignore) {
+                } catch (IndexOutOfBoundsException ignore) {
+                }
+            }
+        });
         getModel().addTableModelListener(new TableModelListener() {
             @Override