Refactor title height to use 'titlebar.height' from themerc

This commit is contained in:
Moises Lima 2023-10-02 12:44:30 -03:00 committed by Johan Malm
parent 0acdf041b8
commit 47a80fc4f2
4 changed files with 18 additions and 8 deletions

View file

@ -9,6 +9,10 @@
border.width: 1
padding.height: 3
# The following options has no default, but fallbacks back to
# font-height + 2x padding.height if not set.
# titlebar.height:
# window border
window.active.border.color: #dddad6
window.inactive.border.color: #f6f5f4