change property name

Author: agaget

app/save-and-restore/app/src/main/java/org/phoebus/applications/saveandrestore/Preferences.java

@@ -33,7 +33,7 @@ public class Preferences {
     @Preference
     public static String default_search_query;
     @Preference
-    public static String default_title_snapshot_date_format;
+    public static String default_snapshot_name_date_format;
 
     static
     {

app/save-and-restore/app/src/main/java/org/phoebus/applications/saveandrestore/ui/snapshot/SnapshotController.java

@@ -289,8 +289,8 @@ private void takeSnapshot() {
                     List<TableEntry> tableEntries = createTableEntries(snapshots.get(0));
                     snapshotTable.updateTable(tableEntries, snapshots, showLiveReadbackProperty.get(), false, showDeltaPercentage);
 
-                    if (!Preferences.default_title_snapshot_date_format.equals("")) {
-                            SimpleDateFormat formater = new SimpleDateFormat(Preferences.default_title_snapshot_date_format);
+                    if (!Preferences.default_snapshot_name_date_format.equals("")) {
+                            SimpleDateFormat formater = new SimpleDateFormat(Preferences.default_snapshot_name_date_format);
                             snapshotNameProperty.set(formater.format(new Date()));
                     }
 

app/save-and-restore/app/src/main/resources/save_and_restore_preferences.properties

@@ -23,4 +23,4 @@ search_result_page_size=30
 default_search_query=tags=golden
 
 # If declared add a date automatically in the name of the snapshot "Take Snapshot"
-#default_title_snapshot_date_format=yyyy-MM-dd HH:mm:ss
+#default_snapshot_name_date_format=yyyy-MM-dd HH:mm:ss