|Summary:||Make shortcuts for moving states and the edge properties in the editor window|
|Product:||UPPAAL||Reporter:||Lasse Bigum <zenith>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
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.