This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 176

Summary: Java complains on trying undo on an empty undo queue
Product: UPPAAL Reporter: Ferdy Hanssen <hanssen>
Component: GUIAssignee: Mads Schaarup Andersen <masa>
Status: RESOLVED FIXED    
Severity: minor CC: behrmann
Priority: P4    
Version: 3.5.7   
Hardware: PC   
OS: Linux   
Architecture:

Description Ferdy Hanssen 2005-07-14 09:50:26 CEST 
Pressing CTRL-Z or selecting undo from the menu when the undo queue is empty
(e.g. when you have not done anything yet) causes Java to spit out a method call
trace on stdout.  There do not seem be any ill effects, though.
Comment 1 Gerd Behrmann 2005-08-04 13:47:07 CEST 
Confirmed. Should be easy to fix.
Comment 2 Gerd Behrmann 2005-08-06 09:33:09 CEST 
Redo has the same problem.
Comment 3 Gerd Behrmann 2005-08-06 09:34:26 CEST 
Mads, this should be an easy thing to fix. Do you want to give it a try?
Comment 4 Mads Schaarup Andersen 2005-08-09 15:37:17 CEST 
A fix has been checked into CVS