[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:  closed
  Priority:  normal  |  Milestone:  7.0.4
 Component:  wxGUI   |    Version:  7.0.1
Resolution:  fixed   |   Keywords:
       CPU:  x86-32  |   Platform:  All
---------------------+-------------------------
Changes (by wenzeslaus):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 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

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