#2756: wxGUI CTRL+CAPS LOCK make the command line prompt font size smaller
--------------------+-------------------------
Reporter: elena | Owner: grass-dev@…
Type: task | Status: new
Priority: normal | Milestone:
Component: wxGUI | Version: 7.0.1
Keywords: | CPU: x86-32
Platform: All |
--------------------+-------------------------
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 [=#point1 (1)],
or to create a keyboard bindings page, or whatever to do.
#2756: wxGUI CTRL+CAPS LOCK make the command line prompt font size smaller
---------------------+-------------------------
Reporter: elena | Owner: grass-dev@…
Type: task | Status: new
Priority: normal | Milestone: 7.0.4
Component: wxGUI | Version: 7.0.1
Resolution: | Keywords:
CPU: x86-32 | Platform: All
---------------------+-------------------------
Changes (by wenzeslaus):
* milestone: => 7.0.4
Comment:
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).