[GRASS-dev] [GRASS GIS] #2756: wxGUI CTRL+CAPS LOCK make the command line prompt font size smaller

[GRASS GIS]

#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).

 Added to my backport todo list.

--
Ticket URL: <https://trac.osgeo.org/grass/ticket/2756#comment:1>
GRASS GIS <https://grass.osgeo.org>