2021-08-17 15:46:21 +02:00
|
|
|
-- mod-version:2 -- lite-xl 2.0
|
2021-06-20 22:40:25 +02:00
|
|
|
local config = require "core.config"
|
|
|
|
local style = require "core.style"
|
|
|
|
local DocView = require "core.docview"
|
|
|
|
|
|
|
|
local draw_overlay = DocView.draw_overlay
|
|
|
|
|
|
|
|
function DocView:draw_overlay(...)
|
2021-11-17 04:59:59 +01:00
|
|
|
local offset = self:get_font():get_width("n") * config.line_limit
|
2021-08-02 03:54:55 +02:00
|
|
|
local x = self:get_line_screen_position(1) + offset
|
|
|
|
local y = self.position.y
|
|
|
|
local w = math.ceil(SCALE * 1)
|
|
|
|
local h = self.size.y
|
2021-06-20 22:40:25 +02:00
|
|
|
|
2021-08-02 03:54:55 +02:00
|
|
|
local color = style.guide or style.selection
|
|
|
|
renderer.draw_rect(x, y, w, h, color)
|
2021-06-20 22:40:25 +02:00
|
|
|
|
|
|
|
draw_overlay(self, ...)
|
|
|
|
end
|