|Summary:||Java complains on trying undo on an empty undo queue|
|Product:||UPPAAL||Reporter:||Ferdy Hanssen <hanssen>|
|Component:||GUI||Assignee:||Mads Schaarup Andersen <masa>|
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