diff options
| author | Michael Drake <tlsa@netsurf-browser.org> | 2016-08-11 08:13:51 +0100 |
|---|---|---|
| committer | Michael Drake <tlsa@netsurf-browser.org> | 2016-08-11 08:15:21 +0100 |
| commit | 1457a049bb9e77cd85fda95ce492a4d79f536f4a (patch) | |
| tree | 5f7da0ac4dd9b95986842e3b01aac831822f9636 /frontends | |
| parent | ebb2a33b0b68104920abbfa2c447595d2c3a2010 (diff) | |
| download | netsurf-1457a049bb9e77cd85fda95ce492a4d79f536f4a.tar.gz netsurf-1457a049bb9e77cd85fda95ce492a4d79f536f4a.tar.bz2 | |
Treeview: Add `treeview_font_size` to options.
Default is 11pt, and RISC OS overrides to 12pt.
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/riscos/gui.c | 6 |
1 files changed, 6 insertions, 0 deletions
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); |