diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2023-12-09 22:04:02 +0100 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-01-15 19:35:56 +0100 |
| commit | f012e861ff6b8107d64982a09125de5f3eb1c868 (patch) | |
| tree | 8863f135ef194447ba05fb29228f1f748a06d700 /src/prefsparser.cc | |
| parent | 8583ace18fe8eda5491341f3ad74b2c9e91d1de5 (diff) | |
Add ui_tab_height option
The default tab height of 16 pixels was causing some usability issues as
the tabs are quite small in large monitors. The default size is
increased to 20 pixels and the new option "ui_tab_height" allows the
user to specify a different value.
Diffstat (limited to 'src/prefsparser.cc')
| -rw-r--r-- | src/prefsparser.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/prefsparser.cc b/src/prefsparser.cc index aaf46139..d1711a12 100644 --- a/src/prefsparser.cc +++ b/src/prefsparser.cc @@ -2,6 +2,7 @@ * Preferences parser * * Copyright (C) 2006-2009 Jorge Arellano Cid <jcid@dillo.org> + * Copyright (C) 2024 Rodrigo Arias Mallo <rodarima@gmail.com> * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -222,6 +223,7 @@ void PrefsParser::parse(FILE *fp) { "ui_tab_bg_color", &prefs.ui_tab_bg_color, PREFS_COLOR, 0 }, { "ui_tab_active_fg_color", &prefs.ui_tab_active_fg_color, PREFS_COLOR, 0 }, { "ui_tab_fg_color", &prefs.ui_tab_fg_color, PREFS_COLOR, 0 }, + { "ui_tab_height", &prefs.ui_tab_height, PREFS_INT32, 0 }, { "ui_text_bg_color", &prefs.ui_text_bg_color, PREFS_COLOR, 0 }, { "penalty_hyphen", &prefs.penalty_hyphen, PREFS_FRACTION_100, 0 }, { "penalty_hyphen_2", &prefs.penalty_hyphen_2, PREFS_FRACTION_100, 0 }, |