From 7f28514dbfc34706809a7346d4e8f40278dece79 Mon Sep 17 00:00:00 2001 From: Michal Wysokinski Date: Fri, 30 Oct 2020 18:43:52 +0100 Subject: [PATCH] improve line offset when gutter is not active --- data/core/style.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/core/style.lua b/data/core/style.lua index c4751e0..4e73786 100644 --- a/data/core/style.lua +++ b/data/core/style.lua @@ -6,7 +6,7 @@ style.divider_size = common.round(1 * SCALE) style.scrollbar_size = common.round(4 * SCALE) style.caret_width = common.round(2 * SCALE) style.tab_width = common.round(170 * SCALE) -style.line_viewport_x_offset = common.round(5 * SCALE) +style.line_viewport_x_offset = common.round(4 * SCALE) style.font = renderer.font.load(EXEDIR .. "/data/fonts/font.ttf", 14 * SCALE) style.big_font = renderer.font.load(EXEDIR .. "/data/fonts/font.ttf", 34 * SCALE)