38 lines
1.2 KiB
Lua
38 lines
1.2 KiB
Lua
local style = require "core.style"
|
|
local DocView = require "core.docview"
|
|
|
|
-- originally written by luveti
|
|
|
|
local function draw_box(x, y, w, h, color)
|
|
local r = renderer.draw_rect
|
|
local s = math.ceil(SCALE)
|
|
r(x, y, w, s, color)
|
|
r(x, y + h - s, w, s, color)
|
|
r(x, y + s, s, h - s * 2, color)
|
|
r(x + w - s, y + s, s, h - s * 2, color)
|
|
end
|
|
|
|
|
|
local draw_line_body = DocView.draw_line_body
|
|
|
|
function DocView:draw_line_body(idx, x, y)
|
|
local line1, col1, line2, col2 = self.doc:get_selection(true)
|
|
if line1 == line2 and col1 ~= col2 then
|
|
local lh = self:get_line_height()
|
|
local selected_text = self.doc.lines[line1]:sub(col1, col2 - 1)
|
|
local current_line_text = self.doc.lines[idx]
|
|
local last_col = 1
|
|
while true do
|
|
local start_col, end_col = current_line_text:find(selected_text, last_col, true)
|
|
if start_col == nil then break end
|
|
local x1 = x + self:get_col_x_offset(idx, start_col)
|
|
local x2 = x + self:get_col_x_offset(idx, end_col + 1)
|
|
local color = style.selectionhighlight or style.syntax.comment
|
|
draw_box(x1, y, x2 - x1, lh, color)
|
|
last_col = end_col + 1
|
|
end
|
|
end
|
|
draw_line_body(self, idx, x, y)
|
|
end
|
|
|