diff options
author | pommicket <pommicket@gmail.com> | 2022-12-30 23:00:20 -0500 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2022-12-30 23:00:20 -0500 |
commit | 43bd0763959ecd8f8a835d09190b55ba6fab7d67 (patch) | |
tree | a79dae99561a26f5c6ba50e5423111f7ff52fb78 /ted.c | |
parent | 74ca500fcad9f6f1ee2d43498b92beee92112fb0 (diff) |
clip highlight to buffer rect
Diffstat (limited to 'ted.c')
-rw-r--r-- | ted.c | 37 |
1 files changed, 0 insertions, 37 deletions
@@ -568,40 +568,3 @@ void ted_go_to_lsp_document_position(Ted *ted, LSP *lsp, LSPDocumentPosition pos ted_go_to_position(ted, path, line, character, true); } -void ted_highlight_lsp_range(Ted *ted, TextBuffer *buffer, LSPRange range) { - (void)ted; - Font *font = buffer_font(buffer); - const u32 *colors = buffer_settings(buffer)->colors; - float char_height = font->char_height; - BufferPos range_start = buffer_pos_from_lsp(buffer, range.start); - BufferPos range_end = buffer_pos_from_lsp(buffer, range.end); - // draw the highlight - if (range_start.line == range_end.line) { - v2 a = buffer_pos_to_pixels(buffer, range_start); - v2 b = buffer_pos_to_pixels(buffer, range_end); - b.y += char_height; - gl_geometry_rect(rect_endpoints(a, b), colors[COLOR_HOVER_HL]); - } else if (range_end.line - range_start.line < 1000) { // prevent gigantic highlights from slowing things down - // multiple lines. - v2 a = buffer_pos_to_pixels(buffer, range_start); - v2 b = buffer_pos_to_pixels(buffer, buffer_pos_end_of_line(buffer, range_start.line)); - b.y += char_height; - gl_geometry_rect(rect_endpoints(a, b), colors[COLOR_HOVER_HL]); - - for (u32 line = range_start.line + 1; line < range_end.line; ++line) { - // these lines are fully contained in the range. - BufferPos start = buffer_pos_start_of_line(buffer, line); - BufferPos end = buffer_pos_end_of_line(buffer, line); - a = buffer_pos_to_pixels(buffer, start); - b = buffer_pos_to_pixels(buffer, end); - b.y += char_height; - gl_geometry_rect(rect_endpoints(a, b), colors[COLOR_HOVER_HL]); - } - - // last line - a = buffer_pos_to_pixels(buffer, buffer_pos_start_of_line(buffer, range_end.line)); - b = buffer_pos_to_pixels(buffer, range_end); - b.y += char_height; - gl_geometry_rect(rect_endpoints(a, b), colors[COLOR_HOVER_HL]); - } -} |