Changing font again for the GTKMM GUI debug console: Monospace 8 looks much better than Courier 9.
Authored by: gavare 2008-04-26
Parent: [r135]
Child: [r137]
