| Summary: | make shortcuts for zooming in and out in the simulator and the editor | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Lasse Bigum <zenith> |
| Component: | GUI | Assignee: | Gerd Behrmann <behrmann> |
| Status: | ASSIGNED --- | ||
| Severity: | enhancement | ||
| Priority: | P2 | ||
| Version: | 4.0.5 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
|
Description
Lasse Bigum
2007-03-23 12:06:17 CET
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. |