[GRASS-dev] [GRASS GIS] #3542: cannot set default font in preferences
GRASS GIS
trac at osgeo.org
Fri Mar 30 18:23:49 PDT 2018
#3542: cannot set default font in preferences
--------------------------+-------------------------
Reporter: cmbarton | Owner: grass-dev@…
Type: defect | Status: closed
Priority: major | Milestone: 7.4.1
Component: wxGUI | Version: 7.2.2
Resolution: fixed | Keywords: wxgui, font
CPU: Unspecified | Platform: MacOSX
--------------------------+-------------------------
Changes (by annakrat):
* status: new => closed
* resolution: => fixed
Comment:
Fixed in r72586, backported in r72587, r72588.
--
Ticket URL: <https://trac.osgeo.org/grass/ticket/3542#comment:1>
GRASS GIS <https://grass.osgeo.org>
More information about the grass-dev
mailing list