406 2007-03-23 12:12:59 +0100 Make shortcuts for moving states and the edge properties in the editor window 2007-03-24 07:41:29 +0100 1 1 1 Unclassified UPPAAL GUI 4.0.5 All All ASSIGNED P3 enhancement --- 1 zenith behrmann oldest_to_newest 1418 0 zenith 2007-03-23 12:12:59 +0100 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. 1421 1 behrmann 2007-03-23 13:25:01 +0100 Not sure about this one. Do you know other programs allowing you to move objects in this manner? 1423 2 zenith 2007-03-23 14:47:25 +0100 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. 1427 3 behrmann 2007-03-24 07:41:29 +0100 Exactly, they move items without the need for a modifier - that was the part that puzzled me.