Opened 4 years ago

Closed 4 years ago

#2756 closed task (fixed)

wxGUI CTRL+CAPS LOCK make the command line prompt font size smaller

Reported by: elena Owned by: grass-dev@…
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 Changed 4 years ago by wenzeslaus

Milestone: 7.0.4

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.

comment:2 Changed 4 years ago by wenzeslaus

Resolution: fixed
Status: newclosed

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

Note: See TracTickets for help on using tickets.