diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2014-06-19 11:18:37 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2014-06-19 11:18:44 -0400 |
| commit | 01df705f701a115c017ca23ee21ff64d8d49bfe2 (patch) | |
| tree | c4adbb49cc283f0852c156b01f1e63d6c24a7060 /instant.xml.sae | |
| parent | 280fc81e05f885c1259ec6513297507b9e6c87b2 (diff) | |
change the way font specifications are used in UI config files
If no font family is specified, enforce use of Sans to match GTK behaviour (which we inadvertently relied on, it appears)
Diffstat (limited to 'instant.xml.sae')
0 files changed, 0 insertions, 0 deletions