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

Bug 516 - Text editor jumps to top on undo
Summary: Text editor jumps to top on undo
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.13
Hardware: PC Linux
: P2 minor
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2011-05-04 11:48 CEST by Mikkel
Modified: 2011-05-04 11:48 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Mikkel 2011-05-04 11:48:33 CEST 
If a template has a long declarations document (long enough for it not being able to be displayed all at once), the "undo" functionality causes the text editor to jump to the top of the document.

Both the keyboard shortcut (ctrl+z) as well as selecting it through the menu (Edit -> undo) causes this, making it difficult/time-consuming to verify that the correct action(s) were undone.