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

Bug 176 - Java complains on trying undo on an empty undo queue
Summary: Java complains on trying undo on an empty undo queue
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.5.7
Hardware: PC Linux
: P4 minor
Assignee: Mads Schaarup Andersen
Depends on:
Reported: 2005-07-14 09:50 CEST by Ferdy Hanssen
Modified: 2005-08-09 15:37 CEST (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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