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

Bug 516

Summary: Text editor jumps to top on undo
Product: UPPAAL Reporter: Mikkel <mikkelgj>
Component: GUIAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: minor    
Priority: P2    
Version: 4.0.13   
Hardware: PC   
OS: Linux   
Architecture:

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.