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

Bug 405 - make shortcuts for zooming in and out in the simulator and the editor
Summary: make shortcuts for zooming in and out in the simulator and the editor
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.5
Hardware: All All
: P2 enhancement
Assignee: Gerd Behrmann
Depends on:
Reported: 2007-03-23 12:06 CET by Lasse Bigum
Modified: 2007-03-25 17:49 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Lasse Bigum 2007-03-23 12:06:17 CET
Often when working with the verifier to see what happens in the traces, it would be convenient if one could quickly zoom in and out, and move up and down in the window that shows the automatons. I suggest implementing CTRL-+ and - as shortcuts for this.

For scrolling up and down in the simulator window, either pageup and pagedown could be used, or CTRL in addition to this, or using the arrow keys.
Comment 1 Gerd Behrmann 2007-03-23 13:25:07 CET
Good suggestion. We also plan to support shift+scroll wheel for smooth zooming.
Comment 2 Lasse Bigum 2007-03-23 14:48:29 CET
The shift+scroll wheel sounds like a really good idea as well.

Just make sure to document all these new fancy keyboard and mouse options somewhere so that people may find them ;)
Comment 3 Lasse Bigum 2007-03-23 15:02:54 CET
Forgot one thing, may I suggest CTRL as a modifier instead, that is the standard pretty much everywhere else. OpenOffice, Opera, and GIMP uses this as well.
Comment 4 Gerd Behrmann 2007-03-24 07:39:23 CET
Well, documenting them is often not enough, since people tend to not read to read the documentation (e.g. do you know the shortcuts in the simulator? They are documented).

Comment 5 Lasse Bigum 2007-03-25 17:49:42 CEST
Well, one thing is documenting the stuff, another one is making it accessible. I find the webhelp (and thus the help file in UPPAAL) to be quite hard to navigate. I don't have any better suggestions though, so I am not trying to make it sound as if it is an easy feat. One suggestion perhaps could be to make a new item under "Help" with the label (Mouse/Keyboard) "Shortcuts", as this is something that most people are often interested in.