#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>
_______________________________________________
grass-dev mailing list
[email protected]
http://lists.osgeo.org/mailman/listinfo/grass-dev
