Changeset 120:3fd0a041609b

Timestamp:

Jan 20, 2009, 5:31:59 PM (15 years ago)

Author:

fnevgeny

Branch:

default

Phase:

public

Message:

P_r in the GUI was forgotten to get updated.

File:

• source/class/pf/Application.js (modified) (2 diffs)

source/class/pf/Application.js

@@ -434 +434 @@
             this.gui_M_i.setValue(this.i.getM());
 
+            this.gui_P_r.setValue(this.P_r);
+            
             this.gui_N_r.setNumValue(this.r.getN());
             this.gui_T_r.setNumValue(this.r.getT());
@@ -2579 +2581 @@
                             this.renameConfig(name, newname);
                             this.updateSaveLoadList();
+                            if (name == this.prefs.currentConfigName) {
+                                this.prefs.currentConfigName = newname;
+                                this.gui_configName.setLabel(newname);
+                            }
                         }
                     }