[GRASS-dev] [GRASS GIS] #3542: cannot set default font in preferences

[GRASS GIS]

#3542: cannot set default font in preferences
--------------------------+-------------------------
  Reporter:  cmbarton     |      Owner:  grass-dev@…
      Type:  defect       |     Status:  reopened
  Priority:  major        |  Milestone:  7.4.1
 Component:  wxGUI        |    Version:  7.2.2
Resolution:               |   Keywords:  wxgui, font
       CPU:  Unspecified  |   Platform:  MacOSX
--------------------------+-------------------------

Comment (by cmbarton):

 This is fixed in 7.4 release branch on up. I don't know if anyone has
 backported the fix to 7.2

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