From 1457a049bb9e77cd85fda95ce492a4d79f536f4a Mon Sep 17 00:00:00 2001 From: Michael Drake Date: Thu, 11 Aug 2016 08:13:51 +0100 Subject: Treeview: Add `treeview_font_size` to options. Default is 11pt, and RISC OS overrides to 12pt. --- frontends/riscos/gui.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'frontends/riscos/gui.c') diff --git a/frontends/riscos/gui.c b/frontends/riscos/gui.c index 9d5f6bb40..7e508a8cf 100644 --- a/frontends/riscos/gui.c +++ b/frontends/riscos/gui.c @@ -314,6 +314,12 @@ static nserror set_defaults(struct nsoption_s *defaults) */ nsoption_set_uint(disc_cache_size, 0); + /* Override core default treeview font size with 12 pt. + * TODO: 12 is the normal desktop font size, but users might run + * with something different. + */ + nsoption_set_int(treeview_font_size, 12 * 10); + /* set default system colours for riscos ui */ set_colour_from_wimp(defaults, wimp_COLOUR_BLACK, NSOPTION_sys_colour_ActiveBorder, 0x00000000); set_colour_from_wimp(defaults, wimp_COLOUR_CREAM, NSOPTION_sys_colour_ActiveCaption, 0x00dddddd); -- cgit v1.2.3