From f012e861ff6b8107d64982a09125de5f3eb1c868 Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Sat, 9 Dec 2023 22:04:02 +0100 Subject: 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. --- src/uicmd.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/uicmd.cc') diff --git a/src/uicmd.cc b/src/uicmd.cc index 8616c289..7f2226dd 100644 --- a/src/uicmd.cc +++ b/src/uicmd.cc @@ -2,6 +2,7 @@ * File: uicmd.cc * * Copyright (C) 2005-2011 Jorge Arellano Cid + * Copyright (C) 2024 Rodrigo Arias Mallo * * 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 @@ -550,7 +551,7 @@ BrowserWindow *a_UIcmd_browser_window_new(int ww, int wh, win = new Fl_Double_Window(ww, wh); win->box(FL_NO_BOX); - CustTabs *DilloTabs = new CustTabs(ww, wh, 16); + CustTabs *DilloTabs = new CustTabs(ww, wh, prefs.ui_tab_height); win->end(); win->resizable(DilloTabs->wizard()); -- cgit v1.2.3