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

Bug 406 - Make shortcuts for moving states and the edge properties in the editor window
Summary: Make shortcuts for moving states and the edge properties in the editor window
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.5
Hardware: All All
: P3 enhancement
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2007-03-23 12:12 CET by Lasse Bigum
Modified: 2007-03-24 07:41 CET (History)
0 users

See Also:
Architecture:


Attachments

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