Ticket #12391: KeepLayerNameOnSave.patch

src/org/openstreetmap/josm/actions/RenameLayerAction.java

@@ -85 +85 @@
                 File newFile = new File(newname);
                 if (Main.platform.rename(file, newFile)) {
                     layer.setAssociatedFile(newFile);
-                    nameText = newFile.getName();
+                    if (!layer.isRenamed()) nameText = newFile.getName();
                 } else {
                     JOptionPane.showMessageDialog(
                             Main.parent,
@@ -97 +97 @@
                 }
             }
         }
-        layer.setName(nameText);
+        layer.rename(nameText);
         Main.parent.repaint();
     }
 }

src/org/openstreetmap/josm/actions/SaveActionBase.java

@@ -92 +92 @@
             } else if (canceled) {
                 return false;
             }
-            layer.setName(file.getName());
+            if (!layer.isRenamed()) layer.setName(file.getName());
             layer.setAssociatedFile(file);
             if (layer instanceof OsmDataLayer) {
                 ((OsmDataLayer) layer).onPostSaveToFile();

src/org/openstreetmap/josm/gui/dialogs/LayerListDialog.java

@@ -1600 +1600 @@
                     l.setVisible((Boolean) value);
                     break;
                 case 2:
-                    l.setName((String) value);
+                    l.rename((String) value);
                     break;
                 default: throw new RuntimeException();
                 }

src/org/openstreetmap/josm/gui/layer/Layer.java

@@ -114 +114 @@
      * The name of this layer.
      *
      */
-    private  String name;
+    private String name;
+
+    /**
+     * This is set if user renamed this layer.
+     */
+    private boolean renamed = false;
 
     /**
      * If a file is associated with this layer, this variable should be set to it.
@@ -263 +268 @@
     /**
      * Sets the name of the layer
      *
-     *@param name the name. If null, the name is set to the empty string.
+     * @param name the name. If null, the name is set to the empty string.
      *
      */
     public final void setName(String name) {
@@ -278 +283 @@
     }
 
     /**
+     * Rename layer and set renamed flag to mark it as renamed (has user given name).
+     *
+     * @param name the name. If null, the name is set to the empty string.
+     *
+     */
+    public final void rename(String name) {
+        renamed = true;
+        setName(name);
+    }
+
+    /**
+     * Replies true if this layer was renamed by user
+     *
+     * @return true if this layer was renamed by user
+     */
+    public boolean isRenamed() {
+        return renamed;
+    }
+
+    /**
      * Replies true if this layer is a background layer
      *
      * @return true if this layer is a background layer