Changeset 10024 in josm for trunk/src/org/openstreetmap/josm/gui/preferences

Timestamp:

2016-03-21T01:00:06+01:00 (9 years ago)

Author:

Don-vip

Message:

fix #12656 - increase display time for styles and presets tooltips

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java

@@ -136 +136 @@
         final SourceEntryListCellRenderer listCellRenderer = new SourceEntryListCellRenderer();
         this.lstAvailableSources.setCellRenderer(listCellRenderer);
+        GuiHelper.extendTooltipDelay(lstAvailableSources);
         this.availableSourcesUrl = availableSourcesUrl;
         this.sourceProviders = sourceProviders;