#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 cmbarton):
* status: reopened => closed
* resolution: => fixed
--
Ticket URL: <https://trac.osgeo.org/grass/ticket/3542#comment:4>
GRASS GIS <https://grass.osgeo.org>
_______________________________________________
grass-dev mailing list
[email protected]
https://lists.osgeo.org/mailman/listinfo/grass-dev
