Merge pull request #681 from Guldoman/prepopulate_highlighter

Prepopulate highlighter
This commit is contained in:
Adam
2021-11-23 15:38:20 -05:00
committed by GitHub
2 changed files with 11 additions and 1 deletions
+7
View File
@@ -41,6 +41,13 @@ end
function Highlighter:reset()
self.lines = {}
self:soft_reset()
end
function Highlighter:soft_reset()
for i=1,#self.lines do
self.lines[i] = false
end
self.first_invalid_line = 1
self.max_wanted_line = 0
end