From 8671b02bdc281a0274b45311ef6aee42966d2157 Mon Sep 17 00:00:00 2001 From: rxi Date: Sun, 10 May 2020 09:14:12 +0100 Subject: [PATCH] Whitespace --- data/core/doc/highlighter.lua | 1 + 1 file changed, 1 insertion(+) diff --git a/data/core/doc/highlighter.lua b/data/core/doc/highlighter.lua index 6a3237f..77b7b5d 100644 --- a/data/core/doc/highlighter.lua +++ b/data/core/doc/highlighter.lua @@ -44,6 +44,7 @@ function Highlighter:reset() self.max_wanted_line = 0 end + function Highlighter:invalidate(idx) self.first_invalid_line = idx self.max_wanted_line = math.min(self.max_wanted_line, #self.doc.lines)