summaryrefslogtreecommitdiff
path: root/hover.c
diff options
context:
space:
mode:
Diffstat (limited to 'hover.c')
-rw-r--r--hover.c195
1 files changed, 0 insertions, 195 deletions
diff --git a/hover.c b/hover.c
deleted file mode 100644
index 9742e58..0000000
--- a/hover.c
+++ /dev/null
@@ -1,195 +0,0 @@
-// LSP hover information (textDocument/hover request)
-
-void hover_close(Ted *ted) {
- Hover *hover = &ted->hover;
- hover->open = false;
- free(hover->text);
- hover->text = NULL;
-}
-
-static bool get_hover_position(Ted *ted, LSPDocumentPosition *pos, TextBuffer **pbuffer, LSP **lsp) {
- // find the buffer where the mouse is
- for (int i = 0; i < TED_MAX_BUFFERS; ++i) {
- TextBuffer *buffer = &ted->buffers[i];
- if (!buffer->filename) continue;
- LSP *l = buffer_lsp(buffer);
- if (!l) continue;
- BufferPos mouse_pos = {0};
- if (buffer_pixels_to_pos(buffer, ted->mouse_pos, &mouse_pos)) {
- if (pos) *pos = buffer_pos_to_lsp_document_position(buffer, mouse_pos);
- if (pbuffer) *pbuffer = buffer;
- if (lsp) *lsp = l;
- return true;
- }
- }
- return false;
-}
-
-void hover_send_request(Ted *ted) {
- Hover *hover = &ted->hover;
- LSPRequest request = {.type = LSP_REQUEST_HOVER};
- LSPRequestHover *h = &request.data.hover;
- LSP *lsp = NULL;
- if (get_hover_position(ted, &h->position, NULL, &lsp)) {
- hover->requested_position = h->position;
- hover->requested_lsp = lsp->id;
- lsp_send_request(lsp, &request);
- }
-}
-
-void hover_process_lsp_response(Ted *ted, LSPResponse *response) {
- if (!response) return;
- if (response->request.type != LSP_REQUEST_HOVER) return;
-
- Hover *hover = &ted->hover;
- LSPResponseHover *hover_response = &response->data.hover;
-
- TextBuffer *buffer=0;
- LSPDocumentPosition pos={0};
- LSP *lsp=0;
- get_hover_position(ted, &pos, &buffer, &lsp);
-
- if (hover->text // we already have hover text
- && (
- lsp->id != hover->requested_lsp // this request is from a different LSP
- || !lsp_document_position_eq(response->request.data.hover.position, pos) // this request is for a different position
- )) {
- // this is a stale request. ignore it
- return;
- }
-
- free(hover->text); hover->text = NULL;
-
- if (buffer) {
- hover->range_start = buffer_pos_from_lsp(buffer, hover_response->range.start);
- hover->range_end = buffer_pos_from_lsp(buffer, hover_response->range.end);
- }
- const char *contents = lsp_response_string(response, hover_response->contents);
- if (*contents) {
- hover->text = str_dup(contents);
- char *p = hover->text + strlen(hover->text) - 1;
- // remove trailing whitespace
- // (rust-analyzer gives us trailing newlines for local variables)
- for (; p > hover->text && isspace(*p); --p)
- *p = '\0';
- }
-}
-
-void hover_frame(Ted *ted, double dt) {
- const Settings *settings = ted_active_settings(ted);
- if (!settings->hover_enabled)
- return;
- Hover *hover = &ted->hover;
-
- bool shift_down = SDL_GetKeyboardState(NULL)[SDL_SCANCODE_LSHIFT]
- || SDL_GetKeyboardState(NULL)[SDL_SCANCODE_RSHIFT];
-
- if (!shift_down) {
- hover_close(ted);
- }
-
- (void)dt;
- if (!hover->open) {
- if (shift_down) {
- hover_send_request(ted);
- hover->open = true;
- }
- return;
- }
-
- TextBuffer *buffer=0;
- {
- LSPDocumentPosition pos={0};
- LSP *lsp=0;
- if (get_hover_position(ted, &pos, &buffer, &lsp)) {
- if (lsp->id != hover->requested_lsp
- || !lsp_document_position_eq(pos, hover->requested_position)) {
- // refresh hover
- hover_send_request(ted);
- }
- } else {
- hover_close(ted);
- return;
- }
- }
-
-
-
- const float padding = settings->padding;
- const float border = settings->border_thickness;
- const u32 *colors = settings->colors;
- const char *text = hover->text;
- Font *font = ted->font;
- float x = ted->mouse_pos.x, y = ted->mouse_pos.y + font->char_height;
- float char_height = font->char_height;
-
- BufferPos range_start = hover->range_start, range_end = hover->range_end;
- if (!buffer_pos_eq(range_start, 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]);
- }
-
- }
- if (hover->text) {
- float max_width = 400;
- TextRenderState state = text_render_state_default;
- state.x = state.min_x = x;
- state.y = state.min_y = y;
- state.render = false;
- state.wrap = true;
- state.max_x = x + max_width;
- state.max_y = ted->window_height;
- text_utf8_with_state(font, &state, text);
- float width = (float)(state.x_largest - x);
- float height = (float)(state.y_largest - y) + char_height;
- if (height > 300) {
- height = 300;
- }
-
- if (x + width > ted->window_width)
- x -= width; // open left
- if (y + height > ted->window_height)
- y -= height + char_height * 2; // open up
- state.x = state.min_x = x;
- state.y = state.min_y = y;
- state.max_x = x + max_width;
- state.y = y;
- state.render = true;
- state.max_y = y + height;
-
- Rect rect = rect_xywh(x - padding, y - padding, width + 2*padding, height + 2*padding);
- gl_geometry_rect(rect, colors[COLOR_HOVER_BG]);
- gl_geometry_rect_border(rect, border, colors[COLOR_HOVER_BORDER]);
- rgba_u32_to_floats(colors[COLOR_HOVER_TEXT], state.color);
- text_utf8_with_state(font, &state, text);
- }
-
- gl_geometry_draw();
- text_render(font);
-}