Ticket #123 (closed enhancement: fixed)
Font types and sizes
|Reported by:||phil||Owned by:||armin|
One should be able to specify font types and sizes of the editor. This is especially important if Gtk does it wrong on Windows, as there are no setters for these properties generally available.
Note: See TracTickets for help on using tickets.