Changeset 10383 in josm for trunk/src/org/openstreetmap/josm/actions/HistoryInfoAction.java

Timestamp:

2016-06-15T13:00:16+02:00 (8 years ago)

Author:

Don-vip

Message:

replace .get*Selected().isEmpty() by .selectionEmpty()

File:

• trunk/src/org/openstreetmap/josm/actions/HistoryInfoAction.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/actions/HistoryInfoAction.java

@@ -38 +38 @@
     public void actionPerformed(ActionEvent ae) {
         DataSet set = getLayerManager().getEditDataSet();
-        if (set != null && !set.getAllSelected().isEmpty()) {
+        if (set != null && !set.selectionEmpty()) {
             HistoryBrowserDialogManager.getInstance().showHistory(set.getAllSelected());
         } else {