blob: 19613454238055655b1838305b1aa5007c43a41b (
plain)
1
2
3
4
5
6
|
Title: Add ui_tab_height option
Author: rodarima
Created: Sun, 14 Jan 2024 09:06:32 +0000
State: closed
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.
|
