Ok, but what will it be on Windows, (or Android, some day, etc. etc.) I
think using a free font is also more in keeping with the GNU ethos?
Users could then select from other detected fonts on their system if
they prefer.
This way, the default look and feel will be maintained across platforms
and you won't have to worry about how things will behave so much. For
instance in QtOctave I was binding the CTRL++ CTRL+- keys to increase
and decrease the font sizes in all windows with an aim one day to
provide an 'Accessibility Mode' for the visually impaired, it will be
more difficult to know what the correct settings are on all platforms
without a known font for this.
Richard
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.