Changeset 115:76415eb05cfc


Ignore:
Timestamp:
Jan 19, 2009, 4:08:54 PM (16 years ago)
Author:
fnevgeny
Branch:
default
Phase:
public
Message:

Display the config name at the top of the "Parameters" tab.

Location:
source
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • source/class/pf/Application.js

    r113 r115  
    424424        updateGUI : function()
    425425        {
     426            this.gui_configName.setLabel(this.prefs.currentConfigName);
     427           
    426428            this.gui_N_e.setNumValue(this.e.getN());
    427429            this.gui_T_e.setNumValue(this.e.getT());
     
    10491051                "pf/image/tab-parameters.png", true);
    10501052
    1051             var fr, gl, rc, rc1, rc2;
     1053            var fr, gl, rc0, rc, rc1, rc2;
     1054
     1055            rc0 = new qx.legacy.ui.layout.VerticalBoxLayout;
     1056            rc0.setWidth("100%");
     1057            rc0.setHeight("auto");
     1058            rc0.setSpacing(1);
     1059            page_id.add(rc0);
     1060
     1061            fr = new qx.legacy.ui.groupbox.GroupBox("Configuration name",
     1062                "pf/image/info.png");
     1063            fr.setDimension("100%", "auto");
     1064            fr.setBackgroundColor("#e1eeff");
     1065            fr.getLegendObject().setBackgroundColor("#e1eeff");
     1066            this.gui_configName =
     1067                new qx.legacy.ui.basic.Atom(this.prefs.currentConfigName);
     1068            fr.add(this.gui_configName);
     1069            rc0.add(fr);
    10521070
    10531071            rc = new qx.legacy.ui.layout.HorizontalBoxLayout;
     
    10551073            rc.setHeight("auto");
    10561074            rc.setSpacing(1);
    1057             page_id.add(rc);
     1075            rc0.add(rc);
    10581076           
    10591077            rc1 = new qx.legacy.ui.layout.VerticalBoxLayout;
     
    26092627                            if (this.saveConfig(cfgname) == true) {
    26102628                                this.saveLoadWindow.close();
     2629                                this.gui_configName.setLabel(this.prefs.currentConfigName);
    26112630                            } else {
    26122631                                alert("Save failed!");
Note: See TracChangeset for help on using the changeset viewer.