Changeset 1188 for trunk/expgui


Ignore:
Timestamp:
Jan 26, 2012 10:47:43 AM (9 years ago)
Author:
toby
Message:

update to match bug fixs in sandbox

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/expgui

    r1175 r1188  
    541541    loadexp $newexpfile
    542542
    543     # switch to the appropriate 1st page
    544     #StageTabUse
    545     SetStartPanel
    546 
    547543    # reset the phase selection
    548544    set expgui(curPhase) {}
     
    554550        set expgui(curhist) {}
    555551    }
    556 #    if {[CountHistory] > 100} {
    557 #       DeleteHistoryRecords "This .EXP file has [CountHistory] history records\nErasing most will speed EXPGUI"
    558 #    }
     552    # switch to the appropriate 1st page
     553    #StageTabUse
     554    SetStartPanel
    559555}
    560556
     
    841837        }
    842838        set ans [ReloadExpMsg [file tail $expgui(expfile)] $expgui(changed)]
    843 
     839        # did a load already occur while we were waiting for an answer?
     840        if {[file mtime $expgui(expfile)] == $expgui(expModifiedLast)} {
     841            return
     842        }
    844843        if {$ans == 0} {
    845844            loadexp $expgui(expfile)
Note: See TracChangeset for help on using the changeset viewer.