Changeset 18367 in josm
- Timestamp:
- 2022-01-27T23:43:27+01:00 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/imagery/ImageryProvidersPanel.java
r18211 r18367 602 602 public void actionPerformed(ActionEvent evt) { 603 603 layerInfo.loadDefaults(true, MainApplication.worker, false); 604 this.updateTableArea(); 605 // Ensure that the table is updated properly if someone cancels the download. See JOSM #21797. 606 MainApplication.worker.execute(() -> GuiHelper.runInEDTAndWait(this::updateTableArea)); 607 } 608 609 private void updateTableArea() { 604 610 defaultModel.fireTableDataChanged(); 605 611 defaultTable.getSelectionModel().clearSelection();
Note:
See TracChangeset
for help on using the changeset viewer.