[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:  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>