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

Bug 406

Summary: Make shortcuts for moving states and the edge properties in the editor window
Product: UPPAAL Reporter: Lasse Bigum <zenith>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P3    
Version: 4.0.5   
Hardware: All   
OS: All   

Description Lasse Bigum 2007-03-23 12:12:59 CET
Often it is very convenient to be able to quickly move states and the select/guards/sync/updates statements. This could be implemented using CTRL+arrow keys.

As it is now, you always have to resort to the mouse to move these things around.
Comment 1 Gerd Behrmann 2007-03-23 13:25:01 CET
Not sure about this one. Do you know other programs allowing you to move objects in this manner?
Comment 2 Lasse Bigum 2007-03-23 14:47:25 CET
Pretty much any other program I use for drawing and so on, yes.

These include OpenOffice, GIMP and I think, Inkscape.

Usually, selecting the items enables you to use the arrow keys to move the items, while holding down SHIFT moves the items further for each press. For instance, pressing left arrow key without SHIFT moves the item 1 pixel, while holding SHIFT down while pressing left arrow key moves it 10 pixels.
Comment 3 Gerd Behrmann 2007-03-24 07:41:29 CET
Exactly, they move items without the need for a modifier - that was the part that puzzled me.