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/prefs.c | |
| 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/prefs.c')
| -rw-r--r-- | src/prefs.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/prefs.c b/src/prefs.c index 0114d912..34f7b408 100644 --- a/src/prefs.c +++ b/src/prefs.c @@ -2,6 +2,7 @@ * Preferences * * 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 @@ -114,6 +115,7 @@ void a_Prefs_init(void) prefs.ui_tab_active_bg_color = -1; prefs.ui_tab_bg_color = -1; prefs.ui_tab_active_fg_color = -1; + prefs.ui_tab_height = 20; prefs.ui_tab_fg_color = -1; prefs.ui_text_bg_color = -1; |