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.h | |
| 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.h')
| -rw-r--r-- | src/prefs.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/prefs.h b/src/prefs.h index 00155c21..004b2850 100644 --- a/src/prefs.h +++ b/src/prefs.h @@ -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 @@ -58,6 +59,7 @@ typedef struct { int32_t ui_tab_active_fg_color; int32_t ui_tab_bg_color; int32_t ui_tab_fg_color; + int32_t ui_tab_height; int32_t ui_text_bg_color; bool_t contrast_visited_color; bool_t show_tooltip; |