Changeset 7484 in josm for trunk/src/org
- Timestamp:
- 2014-09-02T01:29:05+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapView.java
r7005 r7484 33 33 import javax.swing.ActionMap; 34 34 import javax.swing.InputMap; 35 import javax.swing.J OptionPane;35 import javax.swing.JFrame; 36 36 import javax.swing.JPanel; 37 37 … … 40 40 import org.openstreetmap.josm.actions.mapmode.MapMode; 41 41 import org.openstreetmap.josm.data.Bounds; 42 import org.openstreetmap.josm.data.ViewportData;43 42 import org.openstreetmap.josm.data.Preferences.PreferenceChangeEvent; 44 43 import org.openstreetmap.josm.data.Preferences.PreferenceChangedListener; 45 44 import org.openstreetmap.josm.data.SelectionChangedListener; 45 import org.openstreetmap.josm.data.ViewportData; 46 46 import org.openstreetmap.josm.data.coor.EastNorth; 47 47 import org.openstreetmap.josm.data.coor.LatLon; … … 924 924 protected void refreshTitle() { 925 925 boolean dirty = editLayer != null && (editLayer.requiresSaveToFile() || (editLayer.requiresUploadToServer() && !editLayer.isUploadDiscouraged())); 926 if (dirty) { 927 JOptionPane.getFrameForComponent(Main.parent).setTitle("* " + tr("Java OpenStreetMap Editor")); 928 } else { 929 JOptionPane.getFrameForComponent(Main.parent).setTitle(tr("Java OpenStreetMap Editor")); 930 } 926 ((JFrame) Main.parent).setTitle((dirty ? "* " : "") + tr("Java OpenStreetMap Editor")); 927 ((JFrame) Main.parent).getRootPane().putClientProperty("Window.documentModified", dirty); 931 928 } 932 929
Note:
See TracChangeset
for help on using the changeset viewer.