Changeset 10210 in josm for trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java
- Timestamp:
- 2016-05-14T15:45:35+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java
r9644 r10210 5 5 import java.util.Collections; 6 6 import java.util.List; 7 import java.util.Observable; 7 8 import org.openstreetmap.josm.gui.util.ChangeNotifier; 8 9 9 10 /** … … 11 12 * @since 2274 12 13 */ 13 public class HelpBrowserHistory extends Observable{14 public class HelpBrowserHistory extends ChangeNotifier { 14 15 private final IHelpBrowser browser; 15 16 private List<String> history; … … 31 32 history.clear(); 32 33 historyPos = 0; 33 setChanged(); 34 notifyObservers(); 34 fireStateChanged(); 35 35 } 36 36 … … 60 60 String url = history.get(historyPos); 61 61 browser.openUrl(url); 62 setChanged(); 63 notifyObservers(); 62 fireStateChanged(); 64 63 } 65 64 … … 73 72 String url = history.get(historyPos); 74 73 browser.openUrl(url); 75 setChanged(); 76 notifyObservers(); 74 fireStateChanged(); 77 75 } 78 76 … … 99 97 historyPos = history.size()-1; 100 98 } 101 setChanged(); 102 notifyObservers(); 99 fireStateChanged(); 103 100 } 104 101 }
Note:
See TracChangeset
for help on using the changeset viewer.