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.
Good suggestion. We also plan to support shift+scroll wheel for smooth zooming.
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 ;)
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.
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).
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.