Changeset 5781 in josm for trunk


Ignore:
Timestamp:
2013-03-19T01:00:46+01:00 (7 years ago)
Author:
Don-vip
Message:

see #8511 - fix another similar issue

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/layer/markerlayer/PlayHeadMarker.java

    r5715 r5781  
    273273        if (! enabled) return;
    274274        if (timer == null) {
    275             animationInterval = Double.parseDouble(Main.pref.get("marker.audioanimationinterval", "1")); //milliseconds
     275            animationInterval = Main.pref.getDouble("marker.audioanimationinterval", "1"); //milliseconds
    276276            timer = new Timer((int)(animationInterval * 1000.0), new ActionListener() {
    277277                public void actionPerformed(ActionEvent e) {
Note: See TracChangeset for help on using the changeset viewer.