Opened 9 years ago
Closed 9 years ago
#2756 closed task (fixed)
wxGUI CTRL+CAPS LOCK make the command line prompt font size smaller
| Reported by: | elena | Owned by: | |
|---|---|---|---|
| Priority: | normal | Milestone: | 7.0.4 |
| Component: | wxGUI | Version: | 7.0.1 |
| Keywords: | Cc: | ||
| CPU: | x86-32 | Platform: | All |
Description
In Win 7, but also tried in Fedora by Markus N.
I erroneously entered the combination CTRL + CAPS LOCK while writing in the command line prompt in the Layer Manager and suddenly the font size became smaller. Keeping on doing CTRL+CAPS LOCK it became smaller and smaller. You can solve it only by doing CTRL+ "+"
Thus:
- CTRL + CAPS LOCK and CTRL + "-" the font size (of Layer Manager, command line prompt) becomes smaller
- CTRL+ "+" the font size becomes bigger
I don't know if it could be better to add it to this page (1), or to create a keyboard bindings page, or whatever to do.
Hope to be helpful.
Thanks,
Elena Mezzini
(1)https://grass.osgeo.org/grass70/manuals/wxGUI.html#keyboard-short-cuts
Change History (2)
comment:1 by , 9 years ago
| Milestone: | → 7.0.4 |
|---|
comment:2 by , 9 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Backported in r68151. Fixed also Ctrl+Space description. Closing. Thanks!
Result (in 7.1): https://grass.osgeo.org/grass71/manuals/wxGUI.html#keyboard-short-cuts
Good catch, thanks. This is a nice hidden feature added by wxPython. Works both in the command prompt and the output. Hopefully it will stay there.
The documentation for trunk fixed in r67853. I'm not including the Caps Lock combination but I added the mouse wheel option as well (hopefully works on other platforms too, works on Ubuntu).
Added to my backport todo list.