Ticket #11914: 11914-v2.patch
File 11914-v2.patch, 1.3 KB (added by , 6 years ago) |
---|
-
src/org/openstreetmap/josm/gui/MainFrame.java
20 20 import javax.swing.JFrame; 21 21 import javax.swing.JPanel; 22 22 23 import org.openstreetmap.josm.data.UserIdentityManager; 23 24 import org.openstreetmap.josm.gui.layer.LayerManager.LayerAddEvent; 24 25 import org.openstreetmap.josm.gui.layer.LayerManager.LayerChangeListener; 25 26 import org.openstreetmap.josm.gui.layer.LayerManager.LayerOrderChangeEvent; … … 165 166 OsmDataLayer editLayer = MainApplication.getLayerManager().getEditLayer(); 166 167 boolean dirty = editLayer != null && (editLayer.requiresSaveToFile() 167 168 || (editLayer.requiresUploadToServer() && !editLayer.isUploadDiscouraged())); 168 setTitle((dirty ? "* " : "") + tr("Java OpenStreetMap Editor")); 169 String user = UserIdentityManager.getInstance().getUserName(); 170 if (user != null) 171 user = " (@" + user + ")"; 172 else 173 user = ""; 174 setTitle((dirty ? "* " : "") + tr("Java OpenStreetMap Editor") + user); 169 175 getRootPane().putClientProperty("Window.documentModified", dirty); 170 176 } 171 177