Re: [GRASS-dev] [GRASS GIS] #3876: Setting font from GUI Preferences has no effect on barscale font

2019-07-30 Thread GRASS GIS
#3876: Setting font from GUI Preferences has no effect on barscale font --+-- Reporter: veroandreo | Owner: grass-dev@… Type: defect | Status: closed Priority: normal | Milestone: 7.8.0 Component:

Re: [GRASS-dev] [GRASS GIS] #3876: Setting font from GUI Preferences has no effect on barscale font

2019-07-29 Thread GRASS GIS
#3876: Setting font from GUI Preferences has no effect on barscale font --+-- Reporter: veroandreo | Owner: grass-dev@… Type: defect | Status: new Priority: normal | Milestone: 7.8.0 Component:

[GRASS-dev] [GRASS GIS] #3876: Setting font from GUI Preferences has no effect on barscale font

2019-07-29 Thread GRASS GIS
#3876: Setting font from GUI Preferences has no effect on barscale font --+- Reporter: veroandreo| Owner: grass-dev@… Type: defect| Status: new Priority: normal|