diff options
| author | Francesco <francesco.bbt@gmail.com> | 2022-01-26 17:04:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-26 17:04:41 +0100 |
| commit | bbfaa480d7ee7c1d945ee307f904ca6f450101e3 (patch) | |
| tree | bbfd7cf85b1b533b8d40918ffa3991247f4d7ac3 | |
| parent | 919f74a11eea37065f3a08d0c611e9cf368f86d3 (diff) | |
| download | lite-xl-use-tabs-margin.tar.gz lite-xl-use-tabs-margin.zip | |
Use style.divider_size for the tab's top marginuse-tabs-margin
| -rw-r--r-- | data/core/node.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/core/node.lua b/data/core/node.lua index 6649cdb3..1833b737 100644 --- a/data/core/node.lua +++ b/data/core/node.lua @@ -310,7 +310,7 @@ end local function get_tab_y_sizes() local h = style.font:get_height() local pad = style.padding.y - local margin = math.ceil(pad / 2) -- top margin + local margin = style.divider_size -- top margin return h + 2 * pad + margin, pad, margin end |