1use crate::{
2 ActiveDiagnostic, Anchor, AnchorRangeExt, DisplayPoint, DisplayRow, Editor, EditorSettings,
3 EditorSnapshot, GlobalDiagnosticRenderer, Hover,
4 display_map::{InlayOffset, ToDisplayPoint, is_invisible},
5 hover_links::{InlayHighlight, RangeInEditor},
6 movement::TextLayoutDetails,
7 scroll::ScrollAmount,
8};
9use anyhow::Context as _;
10use gpui::{
11 AnyElement, AsyncWindowContext, Context, Entity, Focusable as _, FontWeight, Hsla,
12 InteractiveElement, IntoElement, MouseButton, ParentElement, Pixels, ScrollHandle, Size,
13 StatefulInteractiveElement, StyleRefinement, Styled, Subscription, Task, TextStyleRefinement,
14 Window, div, px,
15};
16use itertools::Itertools;
17use language::{DiagnosticEntry, Language, LanguageRegistry};
18use lsp::DiagnosticSeverity;
19use markdown::{Markdown, MarkdownElement, MarkdownStyle};
20use multi_buffer::{MultiBufferOffset, ToOffset, ToPoint};
21use project::{HoverBlock, HoverBlockKind, InlayHintLabelPart};
22use settings::Settings;
23use std::{borrow::Cow, cell::RefCell};
24use std::{ops::Range, sync::Arc, time::Duration};
25use std::{path::PathBuf, rc::Rc};
26use theme::ThemeSettings;
27use ui::{CopyButton, Scrollbars, WithScrollbar, prelude::*, theme_is_transparent};
28use url::Url;
29use util::TryFutureExt;
30use workspace::{OpenOptions, OpenVisible, Workspace};
31
32pub const MIN_POPOVER_CHARACTER_WIDTH: f32 = 20.;
33pub const MIN_POPOVER_LINE_HEIGHT: f32 = 4.;
34pub const POPOVER_RIGHT_OFFSET: Pixels = px(8.0);
35pub const HOVER_POPOVER_GAP: Pixels = px(10.);
36
37/// Bindable action which uses the most recent selection head to trigger a hover
38pub fn hover(editor: &mut Editor, _: &Hover, window: &mut Window, cx: &mut Context<Editor>) {
39 let head = editor.selections.newest_anchor().head();
40 show_hover(editor, head, true, window, cx);
41}
42
43/// The internal hover action dispatches between `show_hover` or `hide_hover`
44/// depending on whether a point to hover over is provided.
45pub fn hover_at(
46 editor: &mut Editor,
47 anchor: Option<Anchor>,
48 window: &mut Window,
49 cx: &mut Context<Editor>,
50) {
51 if EditorSettings::get_global(cx).hover_popover_enabled {
52 if show_keyboard_hover(editor, window, cx) {
53 return;
54 }
55 if let Some(anchor) = anchor {
56 show_hover(editor, anchor, false, window, cx);
57 } else {
58 hide_hover(editor, cx);
59 }
60 }
61}
62
63pub fn show_keyboard_hover(
64 editor: &mut Editor,
65 window: &mut Window,
66 cx: &mut Context<Editor>,
67) -> bool {
68 if let Some(anchor) = editor.hover_state.info_popovers.iter().find_map(|p| {
69 if *p.keyboard_grace.borrow() {
70 p.anchor
71 } else {
72 None
73 }
74 }) {
75 show_hover(editor, anchor, false, window, cx);
76 return true;
77 }
78
79 if let Some(anchor) = editor
80 .hover_state
81 .diagnostic_popover
82 .as_ref()
83 .and_then(|d| {
84 if *d.keyboard_grace.borrow() {
85 Some(d.anchor)
86 } else {
87 None
88 }
89 })
90 {
91 show_hover(editor, anchor, false, window, cx);
92 return true;
93 }
94
95 false
96}
97
98pub struct InlayHover {
99 pub(crate) range: InlayHighlight,
100 pub tooltip: HoverBlock,
101}
102
103pub fn find_hovered_hint_part(
104 label_parts: Vec<InlayHintLabelPart>,
105 hint_start: InlayOffset,
106 hovered_offset: InlayOffset,
107) -> Option<(InlayHintLabelPart, Range<InlayOffset>)> {
108 if hovered_offset >= hint_start {
109 let mut hovered_character = hovered_offset - hint_start;
110 let mut part_start = hint_start;
111 for part in label_parts {
112 let part_len = part.value.chars().count();
113 if hovered_character > part_len {
114 hovered_character -= part_len;
115 part_start.0 += part_len;
116 } else {
117 let part_end = InlayOffset(part_start.0 + part_len);
118 return Some((part, part_start..part_end));
119 }
120 }
121 }
122 None
123}
124
125pub fn hover_at_inlay(
126 editor: &mut Editor,
127 inlay_hover: InlayHover,
128 window: &mut Window,
129 cx: &mut Context<Editor>,
130) {
131 if EditorSettings::get_global(cx).hover_popover_enabled {
132 if editor.pending_rename.is_some() {
133 return;
134 }
135
136 let Some(project) = editor.project.clone() else {
137 return;
138 };
139
140 if editor
141 .hover_state
142 .info_popovers
143 .iter()
144 .any(|InfoPopover { symbol_range, .. }| {
145 if let RangeInEditor::Inlay(range) = symbol_range
146 && range == &inlay_hover.range
147 {
148 // Hover triggered from same location as last time. Don't show again.
149 return true;
150 }
151 false
152 })
153 {
154 return;
155 }
156
157 let hover_popover_delay = EditorSettings::get_global(cx).hover_popover_delay.0;
158
159 let task = cx.spawn_in(window, async move |this, cx| {
160 async move {
161 cx.background_executor()
162 .timer(Duration::from_millis(hover_popover_delay))
163 .await;
164 this.update(cx, |this, _| {
165 this.hover_state.diagnostic_popover = None;
166 })?;
167
168 let language_registry = project.read_with(cx, |p, _| p.languages().clone())?;
169 let blocks = vec![inlay_hover.tooltip];
170 let parsed_content =
171 parse_blocks(&blocks, Some(&language_registry), None, cx).await;
172
173 let scroll_handle = ScrollHandle::new();
174
175 let subscription = this
176 .update(cx, |_, cx| {
177 parsed_content.as_ref().map(|parsed_content| {
178 cx.observe(parsed_content, |_, _, cx| cx.notify())
179 })
180 })
181 .ok()
182 .flatten();
183
184 let hover_popover = InfoPopover {
185 symbol_range: RangeInEditor::Inlay(inlay_hover.range.clone()),
186 parsed_content,
187 scroll_handle,
188 keyboard_grace: Rc::new(RefCell::new(false)),
189 anchor: None,
190 _subscription: subscription,
191 };
192
193 this.update(cx, |this, cx| {
194 // TODO: no background highlights happen for inlays currently
195 this.hover_state.info_popovers = vec![hover_popover];
196 cx.notify();
197 })?;
198
199 anyhow::Ok(())
200 }
201 .log_err()
202 .await
203 });
204
205 editor.hover_state.info_task = Some(task);
206 }
207}
208
209/// Hides the type information popup.
210/// Triggered by the `Hover` action when the cursor is not over a symbol or when the
211/// selections changed.
212pub fn hide_hover(editor: &mut Editor, cx: &mut Context<Editor>) -> bool {
213 let info_popovers = editor.hover_state.info_popovers.drain(..);
214 let diagnostics_popover = editor.hover_state.diagnostic_popover.take();
215 let did_hide = info_popovers.count() > 0 || diagnostics_popover.is_some();
216
217 editor.hover_state.info_task = None;
218 editor.hover_state.triggered_from = None;
219
220 editor.clear_background_highlights::<HoverState>(cx);
221
222 if did_hide {
223 cx.notify();
224 }
225
226 did_hide
227}
228
229/// Queries the LSP and shows type info and documentation
230/// about the symbol the mouse is currently hovering over.
231/// Triggered by the `Hover` action when the cursor may be over a symbol.
232fn show_hover(
233 editor: &mut Editor,
234 anchor: Anchor,
235 ignore_timeout: bool,
236 window: &mut Window,
237 cx: &mut Context<Editor>,
238) -> Option<()> {
239 if editor.pending_rename.is_some() {
240 return None;
241 }
242
243 let snapshot = editor.snapshot(window, cx);
244
245 let (buffer, buffer_position) = editor
246 .buffer
247 .read(cx)
248 .text_anchor_for_position(anchor, cx)?;
249
250 let (excerpt_id, _, _) = editor.buffer().read(cx).excerpt_containing(anchor, cx)?;
251
252 let language_registry = editor
253 .project()
254 .map(|project| project.read(cx).languages().clone());
255 let provider = editor.semantics_provider.clone()?;
256
257 if !ignore_timeout {
258 if same_info_hover(editor, &snapshot, anchor)
259 || same_diagnostic_hover(editor, &snapshot, anchor)
260 || editor.hover_state.diagnostic_popover.is_some()
261 {
262 // Hover triggered from same location as last time. Don't show again.
263 return None;
264 } else {
265 hide_hover(editor, cx);
266 }
267 }
268
269 // Don't request again if the location is the same as the previous request
270 if let Some(triggered_from) = &editor.hover_state.triggered_from
271 && triggered_from
272 .cmp(&anchor, &snapshot.buffer_snapshot())
273 .is_eq()
274 {
275 return None;
276 }
277
278 let hover_popover_delay = EditorSettings::get_global(cx).hover_popover_delay.0;
279 let all_diagnostics_active = editor.active_diagnostics == ActiveDiagnostic::All;
280 let active_group_id = if let ActiveDiagnostic::Group(group) = &editor.active_diagnostics {
281 Some(group.group_id)
282 } else {
283 None
284 };
285
286 let renderer = GlobalDiagnosticRenderer::global(cx);
287 let task = cx.spawn_in(window, async move |this, cx| {
288 async move {
289 // If we need to delay, delay a set amount initially before making the lsp request
290 let delay = if ignore_timeout {
291 None
292 } else {
293 let lsp_request_early = hover_popover_delay / 2;
294 cx.background_executor()
295 .timer(Duration::from_millis(
296 hover_popover_delay - lsp_request_early,
297 ))
298 .await;
299
300 // Construct delay task to wait for later
301 let total_delay = Some(
302 cx.background_executor()
303 .timer(Duration::from_millis(lsp_request_early)),
304 );
305 total_delay
306 };
307
308 let hover_request = cx.update(|_, cx| provider.hover(&buffer, buffer_position, cx))?;
309
310 if let Some(delay) = delay {
311 delay.await;
312 }
313 let offset = anchor.to_offset(&snapshot.buffer_snapshot());
314 let local_diagnostic = if all_diagnostics_active {
315 None
316 } else {
317 snapshot
318 .buffer_snapshot()
319 .diagnostics_with_buffer_ids_in_range::<MultiBufferOffset>(offset..offset)
320 .filter(|(_, diagnostic)| {
321 Some(diagnostic.diagnostic.group_id) != active_group_id
322 })
323 // Find the entry with the most specific range
324 .min_by_key(|(_, entry)| entry.range.end - entry.range.start)
325 };
326
327 let diagnostic_popover = if let Some((buffer_id, local_diagnostic)) = local_diagnostic {
328 let group = snapshot
329 .buffer_snapshot()
330 .diagnostic_group(buffer_id, local_diagnostic.diagnostic.group_id)
331 .collect::<Vec<_>>();
332 let point_range = local_diagnostic
333 .range
334 .start
335 .to_point(&snapshot.buffer_snapshot())
336 ..local_diagnostic
337 .range
338 .end
339 .to_point(&snapshot.buffer_snapshot());
340 let markdown = cx.update(|_, cx| {
341 renderer
342 .as_ref()
343 .and_then(|renderer| {
344 renderer.render_hover(
345 group,
346 point_range,
347 buffer_id,
348 language_registry.clone(),
349 cx,
350 )
351 })
352 .context("no rendered diagnostic")
353 })??;
354
355 let (background_color, border_color) = cx.update(|_, cx| {
356 let status_colors = cx.theme().status();
357 match local_diagnostic.diagnostic.severity {
358 DiagnosticSeverity::ERROR => {
359 (status_colors.error_background, status_colors.error_border)
360 }
361 DiagnosticSeverity::WARNING => (
362 status_colors.warning_background,
363 status_colors.warning_border,
364 ),
365 DiagnosticSeverity::INFORMATION => {
366 (status_colors.info_background, status_colors.info_border)
367 }
368 DiagnosticSeverity::HINT => {
369 (status_colors.hint_background, status_colors.hint_border)
370 }
371 _ => (
372 status_colors.ignored_background,
373 status_colors.ignored_border,
374 ),
375 }
376 })?;
377
378 let subscription =
379 this.update(cx, |_, cx| cx.observe(&markdown, |_, _, cx| cx.notify()))?;
380
381 let local_diagnostic = DiagnosticEntry {
382 diagnostic: local_diagnostic.diagnostic.to_owned(),
383 range: snapshot
384 .buffer_snapshot()
385 .anchor_before(local_diagnostic.range.start)
386 ..snapshot
387 .buffer_snapshot()
388 .anchor_after(local_diagnostic.range.end),
389 };
390
391 let scroll_handle = ScrollHandle::new();
392
393 Some(DiagnosticPopover {
394 local_diagnostic,
395 markdown,
396 border_color,
397 scroll_handle,
398 background_color,
399 keyboard_grace: Rc::new(RefCell::new(ignore_timeout)),
400 anchor,
401 _subscription: subscription,
402 })
403 } else {
404 None
405 };
406
407 this.update(cx, |this, _| {
408 this.hover_state.diagnostic_popover = diagnostic_popover;
409 })?;
410
411 let invisible_char = if let Some(invisible) = snapshot
412 .buffer_snapshot()
413 .chars_at(anchor)
414 .next()
415 .filter(|&c| is_invisible(c))
416 {
417 let after = snapshot.buffer_snapshot().anchor_after(
418 anchor.to_offset(&snapshot.buffer_snapshot()) + invisible.len_utf8(),
419 );
420 Some((invisible, anchor..after))
421 } else if let Some(invisible) = snapshot
422 .buffer_snapshot()
423 .reversed_chars_at(anchor)
424 .next()
425 .filter(|&c| is_invisible(c))
426 {
427 let before = snapshot.buffer_snapshot().anchor_before(
428 anchor.to_offset(&snapshot.buffer_snapshot()) - invisible.len_utf8(),
429 );
430
431 Some((invisible, before..anchor))
432 } else {
433 None
434 };
435
436 let hovers_response = if let Some(hover_request) = hover_request {
437 hover_request.await.unwrap_or_default()
438 } else {
439 Vec::new()
440 };
441 let snapshot = this.update_in(cx, |this, window, cx| this.snapshot(window, cx))?;
442 let mut hover_highlights = Vec::with_capacity(hovers_response.len());
443 let mut info_popovers = Vec::with_capacity(
444 hovers_response.len() + if invisible_char.is_some() { 1 } else { 0 },
445 );
446
447 if let Some((invisible, range)) = invisible_char {
448 let blocks = vec![HoverBlock {
449 text: format!("Unicode character U+{:02X}", invisible as u32),
450 kind: HoverBlockKind::PlainText,
451 }];
452 let parsed_content =
453 parse_blocks(&blocks, language_registry.as_ref(), None, cx).await;
454 let scroll_handle = ScrollHandle::new();
455 let subscription = this
456 .update(cx, |_, cx| {
457 parsed_content.as_ref().map(|parsed_content| {
458 cx.observe(parsed_content, |_, _, cx| cx.notify())
459 })
460 })
461 .ok()
462 .flatten();
463 info_popovers.push(InfoPopover {
464 symbol_range: RangeInEditor::Text(range),
465 parsed_content,
466 scroll_handle,
467 keyboard_grace: Rc::new(RefCell::new(ignore_timeout)),
468 anchor: Some(anchor),
469 _subscription: subscription,
470 })
471 }
472
473 for hover_result in hovers_response {
474 // Create symbol range of anchors for highlighting and filtering of future requests.
475 let range = hover_result
476 .range
477 .and_then(|range| {
478 let range = snapshot
479 .buffer_snapshot()
480 .anchor_range_in_excerpt(excerpt_id, range)?;
481 Some(range)
482 })
483 .or_else(|| {
484 let snapshot = &snapshot.buffer_snapshot();
485 let range = snapshot.syntax_ancestor(anchor..anchor)?.1;
486 Some(snapshot.anchor_before(range.start)..snapshot.anchor_after(range.end))
487 })
488 .unwrap_or_else(|| anchor..anchor);
489
490 let blocks = hover_result.contents;
491 let language = hover_result.language;
492 let parsed_content =
493 parse_blocks(&blocks, language_registry.as_ref(), language, cx).await;
494 let scroll_handle = ScrollHandle::new();
495 hover_highlights.push(range.clone());
496 let subscription = this
497 .update(cx, |_, cx| {
498 parsed_content.as_ref().map(|parsed_content| {
499 cx.observe(parsed_content, |_, _, cx| cx.notify())
500 })
501 })
502 .ok()
503 .flatten();
504 info_popovers.push(InfoPopover {
505 symbol_range: RangeInEditor::Text(range),
506 parsed_content,
507 scroll_handle,
508 keyboard_grace: Rc::new(RefCell::new(ignore_timeout)),
509 anchor: Some(anchor),
510 _subscription: subscription,
511 });
512 }
513
514 this.update_in(cx, |editor, window, cx| {
515 if hover_highlights.is_empty() {
516 editor.clear_background_highlights::<HoverState>(cx);
517 } else {
518 // Highlight the selected symbol using a background highlight
519 editor.highlight_background::<HoverState>(
520 &hover_highlights,
521 |_, theme| theme.colors().element_hover, // todo update theme
522 cx,
523 );
524 }
525
526 editor.hover_state.info_popovers = info_popovers;
527 cx.notify();
528 window.refresh();
529 })?;
530
531 anyhow::Ok(())
532 }
533 .log_err()
534 .await
535 });
536
537 editor.hover_state.info_task = Some(task);
538 None
539}
540
541fn same_info_hover(editor: &Editor, snapshot: &EditorSnapshot, anchor: Anchor) -> bool {
542 editor
543 .hover_state
544 .info_popovers
545 .iter()
546 .any(|InfoPopover { symbol_range, .. }| {
547 symbol_range
548 .as_text_range()
549 .map(|range| {
550 let hover_range = range.to_offset(&snapshot.buffer_snapshot());
551 let offset = anchor.to_offset(&snapshot.buffer_snapshot());
552 // LSP returns a hover result for the end index of ranges that should be hovered, so we need to
553 // use an inclusive range here to check if we should dismiss the popover
554 (hover_range.start..=hover_range.end).contains(&offset)
555 })
556 .unwrap_or(false)
557 })
558}
559
560fn same_diagnostic_hover(editor: &Editor, snapshot: &EditorSnapshot, anchor: Anchor) -> bool {
561 editor
562 .hover_state
563 .diagnostic_popover
564 .as_ref()
565 .map(|diagnostic| {
566 let hover_range = diagnostic
567 .local_diagnostic
568 .range
569 .to_offset(&snapshot.buffer_snapshot());
570 let offset = anchor.to_offset(&snapshot.buffer_snapshot());
571
572 // Here we do basically the same as in `same_info_hover`, see comment there for an explanation
573 (hover_range.start..=hover_range.end).contains(&offset)
574 })
575 .unwrap_or(false)
576}
577
578async fn parse_blocks(
579 blocks: &[HoverBlock],
580 language_registry: Option<&Arc<LanguageRegistry>>,
581 language: Option<Arc<Language>>,
582 cx: &mut AsyncWindowContext,
583) -> Option<Entity<Markdown>> {
584 let combined_text = blocks
585 .iter()
586 .map(|block| match &block.kind {
587 project::HoverBlockKind::PlainText | project::HoverBlockKind::Markdown => {
588 Cow::Borrowed(block.text.trim())
589 }
590 project::HoverBlockKind::Code { language } => {
591 Cow::Owned(format!("```{}\n{}\n```", language, block.text.trim()))
592 }
593 })
594 .join("\n\n");
595
596 cx.new_window_entity(|_window, cx| {
597 Markdown::new(
598 combined_text.into(),
599 language_registry.cloned(),
600 language.map(|language| language.name()),
601 cx,
602 )
603 })
604 .ok()
605}
606
607pub fn hover_markdown_style(window: &Window, cx: &App) -> MarkdownStyle {
608 let settings = ThemeSettings::get_global(cx);
609 let ui_font_family = settings.ui_font.family.clone();
610 let ui_font_features = settings.ui_font.features.clone();
611 let ui_font_fallbacks = settings.ui_font.fallbacks.clone();
612 let buffer_font_family = settings.buffer_font.family.clone();
613 let buffer_font_features = settings.buffer_font.features.clone();
614 let buffer_font_fallbacks = settings.buffer_font.fallbacks.clone();
615
616 let mut base_text_style = window.text_style();
617 base_text_style.refine(&TextStyleRefinement {
618 font_family: Some(ui_font_family),
619 font_features: Some(ui_font_features),
620 font_fallbacks: ui_font_fallbacks,
621 color: Some(cx.theme().colors().editor_foreground),
622 ..Default::default()
623 });
624 MarkdownStyle {
625 base_text_style,
626 code_block: StyleRefinement::default()
627 .my(rems(1.))
628 .font_buffer(cx)
629 .font_features(buffer_font_features.clone()),
630 inline_code: TextStyleRefinement {
631 background_color: Some(cx.theme().colors().background),
632 font_family: Some(buffer_font_family),
633 font_features: Some(buffer_font_features),
634 font_fallbacks: buffer_font_fallbacks,
635 ..Default::default()
636 },
637 rule_color: cx.theme().colors().border,
638 block_quote_border_color: Color::Muted.color(cx),
639 block_quote: TextStyleRefinement {
640 color: Some(Color::Muted.color(cx)),
641 ..Default::default()
642 },
643 link: TextStyleRefinement {
644 color: Some(cx.theme().colors().editor_foreground),
645 underline: Some(gpui::UnderlineStyle {
646 thickness: px(1.),
647 color: Some(cx.theme().colors().editor_foreground),
648 wavy: false,
649 }),
650 ..Default::default()
651 },
652 syntax: cx.theme().syntax().clone(),
653 selection_background_color: cx.theme().colors().element_selection_background,
654 heading: StyleRefinement::default()
655 .font_weight(FontWeight::BOLD)
656 .text_base()
657 .mt(rems(1.))
658 .mb_0(),
659 table_columns_min_size: true,
660 ..Default::default()
661 }
662}
663
664pub fn diagnostics_markdown_style(window: &Window, cx: &App) -> MarkdownStyle {
665 let settings = ThemeSettings::get_global(cx);
666 let ui_font_family = settings.ui_font.family.clone();
667 let ui_font_fallbacks = settings.ui_font.fallbacks.clone();
668 let ui_font_features = settings.ui_font.features.clone();
669 let buffer_font_family = settings.buffer_font.family.clone();
670 let buffer_font_features = settings.buffer_font.features.clone();
671 let buffer_font_fallbacks = settings.buffer_font.fallbacks.clone();
672
673 let mut base_text_style = window.text_style();
674 base_text_style.refine(&TextStyleRefinement {
675 font_family: Some(ui_font_family),
676 font_features: Some(ui_font_features),
677 font_fallbacks: ui_font_fallbacks,
678 color: Some(cx.theme().colors().editor_foreground),
679 ..Default::default()
680 });
681 MarkdownStyle {
682 base_text_style,
683 code_block: StyleRefinement::default().my(rems(1.)).font_buffer(cx),
684 inline_code: TextStyleRefinement {
685 background_color: Some(cx.theme().colors().editor_background.opacity(0.5)),
686 font_family: Some(buffer_font_family),
687 font_features: Some(buffer_font_features),
688 font_fallbacks: buffer_font_fallbacks,
689 ..Default::default()
690 },
691 rule_color: cx.theme().colors().border,
692 block_quote_border_color: Color::Muted.color(cx),
693 block_quote: TextStyleRefinement {
694 color: Some(Color::Muted.color(cx)),
695 ..Default::default()
696 },
697 link: TextStyleRefinement {
698 color: Some(cx.theme().colors().editor_foreground),
699 underline: Some(gpui::UnderlineStyle {
700 thickness: px(1.),
701 color: Some(cx.theme().colors().editor_foreground),
702 wavy: false,
703 }),
704 ..Default::default()
705 },
706 syntax: cx.theme().syntax().clone(),
707 selection_background_color: cx.theme().colors().element_selection_background,
708 height_is_multiple_of_line_height: true,
709 heading: StyleRefinement::default()
710 .font_weight(FontWeight::BOLD)
711 .text_base()
712 .mb_0(),
713 table_columns_min_size: true,
714 ..Default::default()
715 }
716}
717
718pub fn open_markdown_url(link: SharedString, window: &mut Window, cx: &mut App) {
719 if let Ok(uri) = Url::parse(&link)
720 && uri.scheme() == "file"
721 && let Some(workspace) = window.root::<Workspace>().flatten()
722 {
723 workspace.update(cx, |workspace, cx| {
724 let task = workspace.open_abs_path(
725 PathBuf::from(uri.path()),
726 OpenOptions {
727 visible: Some(OpenVisible::None),
728 ..Default::default()
729 },
730 window,
731 cx,
732 );
733
734 cx.spawn_in(window, async move |_, cx| {
735 let item = task.await?;
736 // Ruby LSP uses URLs with #L1,1-4,4
737 // we'll just take the first number and assume it's a line number
738 let Some(fragment) = uri.fragment() else {
739 return anyhow::Ok(());
740 };
741 let mut accum = 0u32;
742 for c in fragment.chars() {
743 if c >= '0' && c <= '9' && accum < u32::MAX / 2 {
744 accum *= 10;
745 accum += c as u32 - '0' as u32;
746 } else if accum > 0 {
747 break;
748 }
749 }
750 if accum == 0 {
751 return Ok(());
752 }
753 let Some(editor) = cx.update(|_, cx| item.act_as::<Editor>(cx))? else {
754 return Ok(());
755 };
756 editor.update_in(cx, |editor, window, cx| {
757 editor.change_selections(Default::default(), window, cx, |selections| {
758 selections.select_ranges([
759 text::Point::new(accum - 1, 0)..text::Point::new(accum - 1, 0)
760 ]);
761 });
762 })
763 })
764 .detach_and_log_err(cx);
765 });
766 return;
767 }
768 cx.open_url(&link);
769}
770
771#[derive(Default)]
772pub struct HoverState {
773 pub info_popovers: Vec<InfoPopover>,
774 pub diagnostic_popover: Option<DiagnosticPopover>,
775 pub triggered_from: Option<Anchor>,
776 pub info_task: Option<Task<Option<()>>>,
777}
778
779impl HoverState {
780 pub fn visible(&self) -> bool {
781 !self.info_popovers.is_empty() || self.diagnostic_popover.is_some()
782 }
783
784 pub(crate) fn render(
785 &mut self,
786 snapshot: &EditorSnapshot,
787 visible_rows: Range<DisplayRow>,
788 max_size: Size<Pixels>,
789 text_layout_details: &TextLayoutDetails,
790 window: &mut Window,
791 cx: &mut Context<Editor>,
792 ) -> Option<(DisplayPoint, Vec<AnyElement>)> {
793 if !self.visible() {
794 return None;
795 }
796 // If there is a diagnostic, position the popovers based on that.
797 // Otherwise use the start of the hover range
798 let anchor = self
799 .diagnostic_popover
800 .as_ref()
801 .map(|diagnostic_popover| &diagnostic_popover.local_diagnostic.range.start)
802 .or_else(|| {
803 self.info_popovers.iter().find_map(|info_popover| {
804 match &info_popover.symbol_range {
805 RangeInEditor::Text(range) => Some(&range.start),
806 RangeInEditor::Inlay(_) => None,
807 }
808 })
809 })
810 .or_else(|| {
811 self.info_popovers.iter().find_map(|info_popover| {
812 match &info_popover.symbol_range {
813 RangeInEditor::Text(_) => None,
814 RangeInEditor::Inlay(range) => Some(&range.inlay_position),
815 }
816 })
817 })?;
818 let mut point = anchor.to_display_point(&snapshot.display_snapshot);
819 // Clamp the point within the visible rows in case the popup source spans multiple lines
820 if visible_rows.end <= point.row() {
821 point = crate::movement::up_by_rows(
822 &snapshot.display_snapshot,
823 point,
824 1 + (point.row() - visible_rows.end).0,
825 text::SelectionGoal::None,
826 true,
827 text_layout_details,
828 )
829 .0;
830 } else if point.row() < visible_rows.start {
831 point = crate::movement::down_by_rows(
832 &snapshot.display_snapshot,
833 point,
834 (visible_rows.start - point.row()).0,
835 text::SelectionGoal::None,
836 true,
837 text_layout_details,
838 )
839 .0;
840 }
841
842 if !visible_rows.contains(&point.row()) {
843 log::error!("Hover popover point out of bounds after moving");
844 return None;
845 }
846
847 let mut elements = Vec::new();
848
849 if let Some(diagnostic_popover) = self.diagnostic_popover.as_ref() {
850 elements.push(diagnostic_popover.render(max_size, window, cx));
851 }
852 for info_popover in &mut self.info_popovers {
853 elements.push(info_popover.render(max_size, window, cx));
854 }
855
856 Some((point, elements))
857 }
858
859 pub fn focused(&self, window: &mut Window, cx: &mut Context<Editor>) -> bool {
860 let mut hover_popover_is_focused = false;
861 for info_popover in &self.info_popovers {
862 if let Some(markdown_view) = &info_popover.parsed_content
863 && markdown_view.focus_handle(cx).is_focused(window)
864 {
865 hover_popover_is_focused = true;
866 }
867 }
868 if let Some(diagnostic_popover) = &self.diagnostic_popover
869 && diagnostic_popover
870 .markdown
871 .focus_handle(cx)
872 .is_focused(window)
873 {
874 hover_popover_is_focused = true;
875 }
876 hover_popover_is_focused
877 }
878}
879
880pub struct InfoPopover {
881 pub symbol_range: RangeInEditor,
882 pub parsed_content: Option<Entity<Markdown>>,
883 pub scroll_handle: ScrollHandle,
884 pub keyboard_grace: Rc<RefCell<bool>>,
885 pub anchor: Option<Anchor>,
886 _subscription: Option<Subscription>,
887}
888
889impl InfoPopover {
890 pub(crate) fn render(
891 &mut self,
892 max_size: Size<Pixels>,
893 window: &mut Window,
894 cx: &mut Context<Editor>,
895 ) -> AnyElement {
896 let keyboard_grace = Rc::clone(&self.keyboard_grace);
897 div()
898 .id("info_popover")
899 .occlude()
900 .elevation_2(cx)
901 // Prevent a mouse down/move on the popover from being propagated to the editor,
902 // because that would dismiss the popover.
903 .on_mouse_move(|_, _, cx| cx.stop_propagation())
904 .on_mouse_down(MouseButton::Left, move |_, _, cx| {
905 let mut keyboard_grace = keyboard_grace.borrow_mut();
906 *keyboard_grace = false;
907 cx.stop_propagation();
908 })
909 .when_some(self.parsed_content.clone(), |this, markdown| {
910 this.child(
911 div()
912 .id("info-md-container")
913 .overflow_y_scroll()
914 .max_w(max_size.width)
915 .max_h(max_size.height)
916 .track_scroll(&self.scroll_handle)
917 .child(
918 MarkdownElement::new(markdown, hover_markdown_style(window, cx))
919 .code_block_renderer(markdown::CodeBlockRenderer::Default {
920 copy_button: false,
921 copy_button_on_hover: false,
922 border: false,
923 })
924 .on_url_click(open_markdown_url)
925 .p_2(),
926 ),
927 )
928 .custom_scrollbars(
929 Scrollbars::for_settings::<EditorSettings>()
930 .tracked_scroll_handle(&self.scroll_handle),
931 window,
932 cx,
933 )
934 })
935 .into_any_element()
936 }
937
938 pub fn scroll(&self, amount: ScrollAmount, window: &mut Window, cx: &mut Context<Editor>) {
939 let mut current = self.scroll_handle.offset();
940 current.y -= amount.pixels(
941 window.line_height(),
942 self.scroll_handle.bounds().size.height - px(16.),
943 ) / 2.0;
944 cx.notify();
945 self.scroll_handle.set_offset(current);
946 }
947}
948
949pub struct DiagnosticPopover {
950 pub(crate) local_diagnostic: DiagnosticEntry<Anchor>,
951 markdown: Entity<Markdown>,
952 border_color: Hsla,
953 background_color: Hsla,
954 pub keyboard_grace: Rc<RefCell<bool>>,
955 pub anchor: Anchor,
956 _subscription: Subscription,
957 pub scroll_handle: ScrollHandle,
958}
959
960impl DiagnosticPopover {
961 pub fn render(
962 &self,
963 max_size: Size<Pixels>,
964 window: &mut Window,
965 cx: &mut Context<Editor>,
966 ) -> AnyElement {
967 let keyboard_grace = Rc::clone(&self.keyboard_grace);
968 let this = cx.entity().downgrade();
969 div()
970 .id("diagnostic")
971 .occlude()
972 .elevation_2_borderless(cx)
973 // Don't draw the background color if the theme
974 // allows transparent surfaces.
975 .when(theme_is_transparent(cx), |this| {
976 this.bg(gpui::transparent_black())
977 })
978 // Prevent a mouse move on the popover from being propagated to the editor,
979 // because that would dismiss the popover.
980 .on_mouse_move(|_, _, cx| cx.stop_propagation())
981 // Prevent a mouse down on the popover from being propagated to the editor,
982 // because that would move the cursor.
983 .on_mouse_down(MouseButton::Left, move |_, _, cx| {
984 let mut keyboard_grace = keyboard_grace.borrow_mut();
985 *keyboard_grace = false;
986 cx.stop_propagation();
987 })
988 .child(
989 div()
990 .py_1()
991 .px_2()
992 .bg(self.background_color)
993 .border_1()
994 .border_color(self.border_color)
995 .rounded_lg()
996 .child(
997 h_flex()
998 .id("diagnostic-content-container")
999 .gap_1()
1000 .items_start()
1001 .max_w(max_size.width)
1002 .max_h(max_size.height)
1003 .overflow_y_scroll()
1004 .track_scroll(&self.scroll_handle)
1005 .child(
1006 MarkdownElement::new(
1007 self.markdown.clone(),
1008 diagnostics_markdown_style(window, cx),
1009 )
1010 .code_block_renderer(markdown::CodeBlockRenderer::Default {
1011 copy_button: false,
1012 copy_button_on_hover: false,
1013 border: false,
1014 })
1015 .on_url_click(
1016 move |link, window, cx| {
1017 if let Some(renderer) = GlobalDiagnosticRenderer::global(cx)
1018 {
1019 this.update(cx, |this, cx| {
1020 renderer.as_ref().open_link(this, link, window, cx);
1021 })
1022 .ok();
1023 }
1024 },
1025 ),
1026 )
1027 .child({
1028 let message = self.local_diagnostic.diagnostic.message.clone();
1029 CopyButton::new(message).tooltip_label("Copy Diagnostic")
1030 }),
1031 )
1032 .custom_scrollbars(
1033 Scrollbars::for_settings::<EditorSettings>()
1034 .tracked_scroll_handle(&self.scroll_handle),
1035 window,
1036 cx,
1037 ),
1038 )
1039 .into_any_element()
1040 }
1041}
1042
1043#[cfg(test)]
1044mod tests {
1045 use super::*;
1046 use crate::{
1047 PointForPosition,
1048 actions::ConfirmCompletion,
1049 editor_tests::{handle_completion_request, init_test},
1050 inlays::inlay_hints::tests::{cached_hint_labels, visible_hint_labels},
1051 test::editor_lsp_test_context::EditorLspTestContext,
1052 };
1053 use collections::BTreeSet;
1054 use gpui::App;
1055 use indoc::indoc;
1056 use markdown::parser::MarkdownEvent;
1057 use project::InlayId;
1058 use settings::InlayHintSettingsContent;
1059 use smol::stream::StreamExt;
1060 use std::sync::atomic;
1061 use std::sync::atomic::AtomicUsize;
1062 use text::Bias;
1063
1064 fn get_hover_popover_delay(cx: &gpui::TestAppContext) -> u64 {
1065 cx.read(|cx: &App| -> u64 { EditorSettings::get_global(cx).hover_popover_delay.0 })
1066 }
1067
1068 impl InfoPopover {
1069 fn get_rendered_text(&self, cx: &gpui::App) -> String {
1070 let mut rendered_text = String::new();
1071 if let Some(parsed_content) = self.parsed_content.clone() {
1072 let markdown = parsed_content.read(cx);
1073 let text = markdown.parsed_markdown().source().to_string();
1074 let data = markdown.parsed_markdown().events();
1075 let slice = data;
1076
1077 for (range, event) in slice.iter() {
1078 match event {
1079 MarkdownEvent::SubstitutedText(parsed) => {
1080 rendered_text.push_str(parsed.as_str())
1081 }
1082 MarkdownEvent::Text | MarkdownEvent::Code => {
1083 rendered_text.push_str(&text[range.clone()])
1084 }
1085 _ => {}
1086 }
1087 }
1088 }
1089 rendered_text
1090 }
1091 }
1092
1093 #[gpui::test]
1094 async fn test_mouse_hover_info_popover_with_autocomplete_popover(
1095 cx: &mut gpui::TestAppContext,
1096 ) {
1097 init_test(cx, |_| {});
1098
1099 let mut cx = EditorLspTestContext::new_rust(
1100 lsp::ServerCapabilities {
1101 hover_provider: Some(lsp::HoverProviderCapability::Simple(true)),
1102 completion_provider: Some(lsp::CompletionOptions {
1103 trigger_characters: Some(vec![".".to_string(), ":".to_string()]),
1104 resolve_provider: Some(true),
1105 ..Default::default()
1106 }),
1107 ..Default::default()
1108 },
1109 cx,
1110 )
1111 .await;
1112 let counter = Arc::new(AtomicUsize::new(0));
1113 // Basic hover delays and then pops without moving the mouse
1114 cx.set_state(indoc! {"
1115 oneˇ
1116 two
1117 three
1118 fn test() { println!(); }
1119 "});
1120
1121 //prompt autocompletion menu
1122 cx.simulate_keystroke(".");
1123 handle_completion_request(
1124 indoc! {"
1125 one.|<>
1126 two
1127 three
1128 "},
1129 vec!["first_completion", "second_completion"],
1130 true,
1131 counter.clone(),
1132 &mut cx,
1133 )
1134 .await;
1135 cx.condition(|editor, _| editor.context_menu_visible()) // wait until completion menu is visible
1136 .await;
1137 assert_eq!(counter.load(atomic::Ordering::Acquire), 1); // 1 completion request
1138
1139 let hover_point = cx.display_point(indoc! {"
1140 one.
1141 two
1142 three
1143 fn test() { printˇln!(); }
1144 "});
1145 cx.update_editor(|editor, window, cx| {
1146 let snapshot = editor.snapshot(window, cx);
1147 let anchor = snapshot
1148 .buffer_snapshot()
1149 .anchor_before(hover_point.to_offset(&snapshot, Bias::Left));
1150 hover_at(editor, Some(anchor), window, cx)
1151 });
1152 assert!(!cx.editor(|editor, _window, _cx| editor.hover_state.visible()));
1153
1154 // After delay, hover should be visible.
1155 let symbol_range = cx.lsp_range(indoc! {"
1156 one.
1157 two
1158 three
1159 fn test() { «println!»(); }
1160 "});
1161 let mut requests =
1162 cx.set_request_handler::<lsp::request::HoverRequest, _, _>(move |_, _, _| async move {
1163 Ok(Some(lsp::Hover {
1164 contents: lsp::HoverContents::Markup(lsp::MarkupContent {
1165 kind: lsp::MarkupKind::Markdown,
1166 value: "some basic docs".to_string(),
1167 }),
1168 range: Some(symbol_range),
1169 }))
1170 });
1171 cx.background_executor
1172 .advance_clock(Duration::from_millis(get_hover_popover_delay(&cx) + 100));
1173 requests.next().await;
1174
1175 cx.editor(|editor, _window, cx| {
1176 assert!(editor.hover_state.visible());
1177 assert_eq!(
1178 editor.hover_state.info_popovers.len(),
1179 1,
1180 "Expected exactly one hover but got: {:?}",
1181 editor.hover_state.info_popovers.len()
1182 );
1183 let rendered_text = editor
1184 .hover_state
1185 .info_popovers
1186 .first()
1187 .unwrap()
1188 .get_rendered_text(cx);
1189 assert_eq!(rendered_text, "some basic docs".to_string())
1190 });
1191
1192 // check that the completion menu is still visible and that there still has only been 1 completion request
1193 cx.editor(|editor, _, _| assert!(editor.context_menu_visible()));
1194 assert_eq!(counter.load(atomic::Ordering::Acquire), 1);
1195
1196 //apply a completion and check it was successfully applied
1197 let _apply_additional_edits = cx.update_editor(|editor, window, cx| {
1198 editor.context_menu_next(&Default::default(), window, cx);
1199 editor
1200 .confirm_completion(&ConfirmCompletion::default(), window, cx)
1201 .unwrap()
1202 });
1203 cx.assert_editor_state(indoc! {"
1204 one.second_completionˇ
1205 two
1206 three
1207 fn test() { println!(); }
1208 "});
1209
1210 // check that the completion menu is no longer visible and that there still has only been 1 completion request
1211 cx.editor(|editor, _, _| assert!(!editor.context_menu_visible()));
1212 assert_eq!(counter.load(atomic::Ordering::Acquire), 1);
1213
1214 //verify the information popover is still visible and unchanged
1215 cx.editor(|editor, _, cx| {
1216 assert!(editor.hover_state.visible());
1217 assert_eq!(
1218 editor.hover_state.info_popovers.len(),
1219 1,
1220 "Expected exactly one hover but got: {:?}",
1221 editor.hover_state.info_popovers.len()
1222 );
1223 let rendered_text = editor
1224 .hover_state
1225 .info_popovers
1226 .first()
1227 .unwrap()
1228 .get_rendered_text(cx);
1229
1230 assert_eq!(rendered_text, "some basic docs".to_string())
1231 });
1232
1233 // Mouse moved with no hover response dismisses
1234 let hover_point = cx.display_point(indoc! {"
1235 one.second_completionˇ
1236 two
1237 three
1238 fn teˇst() { println!(); }
1239 "});
1240 let mut request = cx
1241 .lsp
1242 .set_request_handler::<lsp::request::HoverRequest, _, _>(
1243 |_, _| async move { Ok(None) },
1244 );
1245 cx.update_editor(|editor, window, cx| {
1246 let snapshot = editor.snapshot(window, cx);
1247 let anchor = snapshot
1248 .buffer_snapshot()
1249 .anchor_before(hover_point.to_offset(&snapshot, Bias::Left));
1250 hover_at(editor, Some(anchor), window, cx)
1251 });
1252 cx.background_executor
1253 .advance_clock(Duration::from_millis(get_hover_popover_delay(&cx) + 100));
1254 request.next().await;
1255
1256 // verify that the information popover is no longer visible
1257 cx.editor(|editor, _, _| {
1258 assert!(!editor.hover_state.visible());
1259 });
1260 }
1261
1262 #[gpui::test]
1263 async fn test_mouse_hover_info_popover(cx: &mut gpui::TestAppContext) {
1264 init_test(cx, |_| {});
1265
1266 let mut cx = EditorLspTestContext::new_rust(
1267 lsp::ServerCapabilities {
1268 hover_provider: Some(lsp::HoverProviderCapability::Simple(true)),
1269 ..Default::default()
1270 },
1271 cx,
1272 )
1273 .await;
1274
1275 // Basic hover delays and then pops without moving the mouse
1276 cx.set_state(indoc! {"
1277 fn ˇtest() { println!(); }
1278 "});
1279 let hover_point = cx.display_point(indoc! {"
1280 fn test() { printˇln!(); }
1281 "});
1282
1283 cx.update_editor(|editor, window, cx| {
1284 let snapshot = editor.snapshot(window, cx);
1285 let anchor = snapshot
1286 .buffer_snapshot()
1287 .anchor_before(hover_point.to_offset(&snapshot, Bias::Left));
1288 hover_at(editor, Some(anchor), window, cx)
1289 });
1290 assert!(!cx.editor(|editor, _window, _cx| editor.hover_state.visible()));
1291
1292 // After delay, hover should be visible.
1293 let symbol_range = cx.lsp_range(indoc! {"
1294 fn test() { «println!»(); }
1295 "});
1296 let mut requests =
1297 cx.set_request_handler::<lsp::request::HoverRequest, _, _>(move |_, _, _| async move {
1298 Ok(Some(lsp::Hover {
1299 contents: lsp::HoverContents::Markup(lsp::MarkupContent {
1300 kind: lsp::MarkupKind::Markdown,
1301 value: "some basic docs".to_string(),
1302 }),
1303 range: Some(symbol_range),
1304 }))
1305 });
1306 cx.background_executor
1307 .advance_clock(Duration::from_millis(get_hover_popover_delay(&cx) + 100));
1308 requests.next().await;
1309
1310 cx.editor(|editor, _, cx| {
1311 assert!(editor.hover_state.visible());
1312 assert_eq!(
1313 editor.hover_state.info_popovers.len(),
1314 1,
1315 "Expected exactly one hover but got: {:?}",
1316 editor.hover_state.info_popovers.len()
1317 );
1318 let rendered_text = editor
1319 .hover_state
1320 .info_popovers
1321 .first()
1322 .unwrap()
1323 .get_rendered_text(cx);
1324
1325 assert_eq!(rendered_text, "some basic docs".to_string())
1326 });
1327
1328 // Mouse moved with no hover response dismisses
1329 let hover_point = cx.display_point(indoc! {"
1330 fn teˇst() { println!(); }
1331 "});
1332 let mut request = cx
1333 .lsp
1334 .set_request_handler::<lsp::request::HoverRequest, _, _>(
1335 |_, _| async move { Ok(None) },
1336 );
1337 cx.update_editor(|editor, window, cx| {
1338 let snapshot = editor.snapshot(window, cx);
1339 let anchor = snapshot
1340 .buffer_snapshot()
1341 .anchor_before(hover_point.to_offset(&snapshot, Bias::Left));
1342 hover_at(editor, Some(anchor), window, cx)
1343 });
1344 cx.background_executor
1345 .advance_clock(Duration::from_millis(get_hover_popover_delay(&cx) + 100));
1346 request.next().await;
1347 cx.editor(|editor, _, _| {
1348 assert!(!editor.hover_state.visible());
1349 });
1350 }
1351
1352 #[gpui::test]
1353 async fn test_keyboard_hover_info_popover(cx: &mut gpui::TestAppContext) {
1354 init_test(cx, |_| {});
1355
1356 let mut cx = EditorLspTestContext::new_rust(
1357 lsp::ServerCapabilities {
1358 hover_provider: Some(lsp::HoverProviderCapability::Simple(true)),
1359 ..Default::default()
1360 },
1361 cx,
1362 )
1363 .await;
1364
1365 // Hover with keyboard has no delay
1366 cx.set_state(indoc! {"
1367 fˇn test() { println!(); }
1368 "});
1369 cx.update_editor(|editor, window, cx| hover(editor, &Hover, window, cx));
1370 let symbol_range = cx.lsp_range(indoc! {"
1371 «fn» test() { println!(); }
1372 "});
1373
1374 cx.editor(|editor, _window, _cx| {
1375 assert!(!editor.hover_state.visible());
1376
1377 assert_eq!(
1378 editor.hover_state.info_popovers.len(),
1379 0,
1380 "Expected no hovers but got but got: {:?}",
1381 editor.hover_state.info_popovers.len()
1382 );
1383 });
1384
1385 let mut requests =
1386 cx.set_request_handler::<lsp::request::HoverRequest, _, _>(move |_, _, _| async move {
1387 Ok(Some(lsp::Hover {
1388 contents: lsp::HoverContents::Markup(lsp::MarkupContent {
1389 kind: lsp::MarkupKind::Markdown,
1390 value: "some other basic docs".to_string(),
1391 }),
1392 range: Some(symbol_range),
1393 }))
1394 });
1395
1396 requests.next().await;
1397 cx.dispatch_action(Hover);
1398
1399 cx.condition(|editor, _| editor.hover_state.visible()).await;
1400 cx.editor(|editor, _, cx| {
1401 assert_eq!(
1402 editor.hover_state.info_popovers.len(),
1403 1,
1404 "Expected exactly one hover but got: {:?}",
1405 editor.hover_state.info_popovers.len()
1406 );
1407
1408 let rendered_text = editor
1409 .hover_state
1410 .info_popovers
1411 .first()
1412 .unwrap()
1413 .get_rendered_text(cx);
1414
1415 assert_eq!(rendered_text, "some other basic docs".to_string())
1416 });
1417 }
1418
1419 #[gpui::test]
1420 async fn test_empty_hovers_filtered(cx: &mut gpui::TestAppContext) {
1421 init_test(cx, |_| {});
1422
1423 let mut cx = EditorLspTestContext::new_rust(
1424 lsp::ServerCapabilities {
1425 hover_provider: Some(lsp::HoverProviderCapability::Simple(true)),
1426 ..Default::default()
1427 },
1428 cx,
1429 )
1430 .await;
1431
1432 // Hover with keyboard has no delay
1433 cx.set_state(indoc! {"
1434 fˇn test() { println!(); }
1435 "});
1436 cx.update_editor(|editor, window, cx| hover(editor, &Hover, window, cx));
1437 let symbol_range = cx.lsp_range(indoc! {"
1438 «fn» test() { println!(); }
1439 "});
1440 cx.set_request_handler::<lsp::request::HoverRequest, _, _>(move |_, _, _| async move {
1441 Ok(Some(lsp::Hover {
1442 contents: lsp::HoverContents::Array(vec![
1443 lsp::MarkedString::String("regular text for hover to show".to_string()),
1444 lsp::MarkedString::String("".to_string()),
1445 lsp::MarkedString::LanguageString(lsp::LanguageString {
1446 language: "Rust".to_string(),
1447 value: "".to_string(),
1448 }),
1449 ]),
1450 range: Some(symbol_range),
1451 }))
1452 })
1453 .next()
1454 .await;
1455 cx.dispatch_action(Hover);
1456
1457 cx.condition(|editor, _| editor.hover_state.visible()).await;
1458 cx.editor(|editor, _, cx| {
1459 assert_eq!(
1460 editor.hover_state.info_popovers.len(),
1461 1,
1462 "Expected exactly one hover but got: {:?}",
1463 editor.hover_state.info_popovers.len()
1464 );
1465 let rendered_text = editor
1466 .hover_state
1467 .info_popovers
1468 .first()
1469 .unwrap()
1470 .get_rendered_text(cx);
1471
1472 assert_eq!(
1473 rendered_text,
1474 "regular text for hover to show".to_string(),
1475 "No empty string hovers should be shown"
1476 );
1477 });
1478 }
1479
1480 #[gpui::test]
1481 async fn test_line_ends_trimmed(cx: &mut gpui::TestAppContext) {
1482 init_test(cx, |_| {});
1483
1484 let mut cx = EditorLspTestContext::new_rust(
1485 lsp::ServerCapabilities {
1486 hover_provider: Some(lsp::HoverProviderCapability::Simple(true)),
1487 ..Default::default()
1488 },
1489 cx,
1490 )
1491 .await;
1492
1493 // Hover with keyboard has no delay
1494 cx.set_state(indoc! {"
1495 fˇn test() { println!(); }
1496 "});
1497 cx.update_editor(|editor, window, cx| hover(editor, &Hover, window, cx));
1498 let symbol_range = cx.lsp_range(indoc! {"
1499 «fn» test() { println!(); }
1500 "});
1501
1502 let code_str = "\nlet hovered_point: Vector2F // size = 8, align = 0x4\n";
1503 let markdown_string = format!("\n```rust\n{code_str}```");
1504
1505 let closure_markdown_string = markdown_string.clone();
1506 cx.set_request_handler::<lsp::request::HoverRequest, _, _>(move |_, _, _| {
1507 let future_markdown_string = closure_markdown_string.clone();
1508 async move {
1509 Ok(Some(lsp::Hover {
1510 contents: lsp::HoverContents::Markup(lsp::MarkupContent {
1511 kind: lsp::MarkupKind::Markdown,
1512 value: future_markdown_string,
1513 }),
1514 range: Some(symbol_range),
1515 }))
1516 }
1517 })
1518 .next()
1519 .await;
1520
1521 cx.dispatch_action(Hover);
1522
1523 cx.condition(|editor, _| editor.hover_state.visible()).await;
1524 cx.editor(|editor, _, cx| {
1525 assert_eq!(
1526 editor.hover_state.info_popovers.len(),
1527 1,
1528 "Expected exactly one hover but got: {:?}",
1529 editor.hover_state.info_popovers.len()
1530 );
1531 let rendered_text = editor
1532 .hover_state
1533 .info_popovers
1534 .first()
1535 .unwrap()
1536 .get_rendered_text(cx);
1537
1538 assert_eq!(
1539 rendered_text, code_str,
1540 "Should not have extra line breaks at end of rendered hover"
1541 );
1542 });
1543 }
1544
1545 #[gpui::test]
1546 // https://github.com/zed-industries/zed/issues/15498
1547 async fn test_info_hover_with_hrs(cx: &mut gpui::TestAppContext) {
1548 init_test(cx, |_| {});
1549
1550 let mut cx = EditorLspTestContext::new_rust(
1551 lsp::ServerCapabilities {
1552 hover_provider: Some(lsp::HoverProviderCapability::Simple(true)),
1553 ..Default::default()
1554 },
1555 cx,
1556 )
1557 .await;
1558
1559 cx.set_state(indoc! {"
1560 fn fuˇnc(abc def: i32) -> u32 {
1561 }
1562 "});
1563
1564 cx.lsp
1565 .set_request_handler::<lsp::request::HoverRequest, _, _>({
1566 |_, _| async move {
1567 Ok(Some(lsp::Hover {
1568 contents: lsp::HoverContents::Markup(lsp::MarkupContent {
1569 kind: lsp::MarkupKind::Markdown,
1570 value: indoc!(
1571 r#"
1572 ### function `errands_data_read`
1573
1574 ---
1575 → `char *`
1576 Function to read a file into a string
1577
1578 ---
1579 ```cpp
1580 static char *errands_data_read()
1581 ```
1582 "#
1583 )
1584 .to_string(),
1585 }),
1586 range: None,
1587 }))
1588 }
1589 });
1590 cx.update_editor(|editor, window, cx| hover(editor, &Default::default(), window, cx));
1591 cx.run_until_parked();
1592
1593 cx.update_editor(|editor, _, cx| {
1594 let popover = editor.hover_state.info_popovers.first().unwrap();
1595 let content = popover.get_rendered_text(cx);
1596
1597 assert!(content.contains("Function to read a file"));
1598 });
1599 }
1600
1601 #[gpui::test]
1602 async fn test_hover_inlay_label_parts(cx: &mut gpui::TestAppContext) {
1603 init_test(cx, |settings| {
1604 settings.defaults.inlay_hints = Some(InlayHintSettingsContent {
1605 show_value_hints: Some(true),
1606 enabled: Some(true),
1607 edit_debounce_ms: Some(0),
1608 scroll_debounce_ms: Some(0),
1609 show_type_hints: Some(true),
1610 show_parameter_hints: Some(true),
1611 show_other_hints: Some(true),
1612 show_background: Some(false),
1613 toggle_on_modifiers_press: None,
1614 })
1615 });
1616
1617 let mut cx = EditorLspTestContext::new_rust(
1618 lsp::ServerCapabilities {
1619 inlay_hint_provider: Some(lsp::OneOf::Right(
1620 lsp::InlayHintServerCapabilities::Options(lsp::InlayHintOptions {
1621 resolve_provider: Some(true),
1622 ..Default::default()
1623 }),
1624 )),
1625 ..Default::default()
1626 },
1627 cx,
1628 )
1629 .await;
1630
1631 cx.set_state(indoc! {"
1632 struct TestStruct;
1633
1634 // ==================
1635
1636 struct TestNewType<T>(T);
1637
1638 fn main() {
1639 let variableˇ = TestNewType(TestStruct);
1640 }
1641 "});
1642
1643 let hint_start_offset = cx.ranges(indoc! {"
1644 struct TestStruct;
1645
1646 // ==================
1647
1648 struct TestNewType<T>(T);
1649
1650 fn main() {
1651 let variableˇ = TestNewType(TestStruct);
1652 }
1653 "})[0]
1654 .start;
1655 let hint_position = cx.to_lsp(MultiBufferOffset(hint_start_offset));
1656 let new_type_target_range = cx.lsp_range(indoc! {"
1657 struct TestStruct;
1658
1659 // ==================
1660
1661 struct «TestNewType»<T>(T);
1662
1663 fn main() {
1664 let variable = TestNewType(TestStruct);
1665 }
1666 "});
1667 let struct_target_range = cx.lsp_range(indoc! {"
1668 struct «TestStruct»;
1669
1670 // ==================
1671
1672 struct TestNewType<T>(T);
1673
1674 fn main() {
1675 let variable = TestNewType(TestStruct);
1676 }
1677 "});
1678
1679 let uri = cx.buffer_lsp_url.clone();
1680 let new_type_label = "TestNewType";
1681 let struct_label = "TestStruct";
1682 let entire_hint_label = ": TestNewType<TestStruct>";
1683 let closure_uri = uri.clone();
1684 cx.lsp
1685 .set_request_handler::<lsp::request::InlayHintRequest, _, _>(move |params, _| {
1686 let task_uri = closure_uri.clone();
1687 async move {
1688 assert_eq!(params.text_document.uri, task_uri);
1689 Ok(Some(vec![lsp::InlayHint {
1690 position: hint_position,
1691 label: lsp::InlayHintLabel::LabelParts(vec![lsp::InlayHintLabelPart {
1692 value: entire_hint_label.to_string(),
1693 ..Default::default()
1694 }]),
1695 kind: Some(lsp::InlayHintKind::TYPE),
1696 text_edits: None,
1697 tooltip: None,
1698 padding_left: Some(false),
1699 padding_right: Some(false),
1700 data: None,
1701 }]))
1702 }
1703 })
1704 .next()
1705 .await;
1706 cx.background_executor.run_until_parked();
1707 cx.update_editor(|editor, _, cx| {
1708 let expected_layers = vec![entire_hint_label.to_string()];
1709 assert_eq!(expected_layers, cached_hint_labels(editor, cx));
1710 assert_eq!(expected_layers, visible_hint_labels(editor, cx));
1711 });
1712
1713 let inlay_range = cx
1714 .ranges(indoc! {"
1715 struct TestStruct;
1716
1717 // ==================
1718
1719 struct TestNewType<T>(T);
1720
1721 fn main() {
1722 let variable« »= TestNewType(TestStruct);
1723 }
1724 "})
1725 .first()
1726 .cloned()
1727 .unwrap();
1728 let new_type_hint_part_hover_position = cx.update_editor(|editor, window, cx| {
1729 let snapshot = editor.snapshot(window, cx);
1730 let previous_valid = MultiBufferOffset(inlay_range.start).to_display_point(&snapshot);
1731 let next_valid = MultiBufferOffset(inlay_range.end).to_display_point(&snapshot);
1732 assert_eq!(previous_valid.row(), next_valid.row());
1733 assert!(previous_valid.column() < next_valid.column());
1734 let exact_unclipped = DisplayPoint::new(
1735 previous_valid.row(),
1736 previous_valid.column()
1737 + (entire_hint_label.find(new_type_label).unwrap() + new_type_label.len() / 2)
1738 as u32,
1739 );
1740 PointForPosition {
1741 previous_valid,
1742 next_valid,
1743 exact_unclipped,
1744 column_overshoot_after_line_end: 0,
1745 }
1746 });
1747 cx.update_editor(|editor, window, cx| {
1748 editor.update_inlay_link_and_hover_points(
1749 &editor.snapshot(window, cx),
1750 new_type_hint_part_hover_position,
1751 true,
1752 false,
1753 window,
1754 cx,
1755 );
1756 });
1757
1758 let resolve_closure_uri = uri.clone();
1759 cx.lsp
1760 .set_request_handler::<lsp::request::InlayHintResolveRequest, _, _>(
1761 move |mut hint_to_resolve, _| {
1762 let mut resolved_hint_positions = BTreeSet::new();
1763 let task_uri = resolve_closure_uri.clone();
1764 async move {
1765 let inserted = resolved_hint_positions.insert(hint_to_resolve.position);
1766 assert!(inserted, "Hint {hint_to_resolve:?} was resolved twice");
1767
1768 // `: TestNewType<TestStruct>`
1769 hint_to_resolve.label = lsp::InlayHintLabel::LabelParts(vec![
1770 lsp::InlayHintLabelPart {
1771 value: ": ".to_string(),
1772 ..Default::default()
1773 },
1774 lsp::InlayHintLabelPart {
1775 value: new_type_label.to_string(),
1776 location: Some(lsp::Location {
1777 uri: task_uri.clone(),
1778 range: new_type_target_range,
1779 }),
1780 tooltip: Some(lsp::InlayHintLabelPartTooltip::String(format!(
1781 "A tooltip for `{new_type_label}`"
1782 ))),
1783 ..Default::default()
1784 },
1785 lsp::InlayHintLabelPart {
1786 value: "<".to_string(),
1787 ..Default::default()
1788 },
1789 lsp::InlayHintLabelPart {
1790 value: struct_label.to_string(),
1791 location: Some(lsp::Location {
1792 uri: task_uri,
1793 range: struct_target_range,
1794 }),
1795 tooltip: Some(lsp::InlayHintLabelPartTooltip::MarkupContent(
1796 lsp::MarkupContent {
1797 kind: lsp::MarkupKind::Markdown,
1798 value: format!("A tooltip for `{struct_label}`"),
1799 },
1800 )),
1801 ..Default::default()
1802 },
1803 lsp::InlayHintLabelPart {
1804 value: ">".to_string(),
1805 ..Default::default()
1806 },
1807 ]);
1808
1809 Ok(hint_to_resolve)
1810 }
1811 },
1812 )
1813 .next()
1814 .await;
1815 cx.background_executor.run_until_parked();
1816
1817 cx.update_editor(|editor, window, cx| {
1818 editor.update_inlay_link_and_hover_points(
1819 &editor.snapshot(window, cx),
1820 new_type_hint_part_hover_position,
1821 true,
1822 false,
1823 window,
1824 cx,
1825 );
1826 });
1827 cx.background_executor
1828 .advance_clock(Duration::from_millis(get_hover_popover_delay(&cx) + 100));
1829 cx.background_executor.run_until_parked();
1830 cx.update_editor(|editor, _, cx| {
1831 let hover_state = &editor.hover_state;
1832 assert!(
1833 hover_state.diagnostic_popover.is_none() && hover_state.info_popovers.len() == 1
1834 );
1835 let popover = hover_state.info_popovers.first().unwrap();
1836 let buffer_snapshot = editor.buffer().update(cx, |buffer, cx| buffer.snapshot(cx));
1837 assert_eq!(
1838 popover.symbol_range,
1839 RangeInEditor::Inlay(InlayHighlight {
1840 inlay: InlayId::Hint(0),
1841 inlay_position: buffer_snapshot
1842 .anchor_after(MultiBufferOffset(inlay_range.start)),
1843 range: ": ".len()..": ".len() + new_type_label.len(),
1844 }),
1845 "Popover range should match the new type label part"
1846 );
1847 assert_eq!(
1848 popover.get_rendered_text(cx),
1849 format!("A tooltip for {new_type_label}"),
1850 );
1851 });
1852
1853 let struct_hint_part_hover_position = cx.update_editor(|editor, window, cx| {
1854 let snapshot = editor.snapshot(window, cx);
1855 let previous_valid = MultiBufferOffset(inlay_range.start).to_display_point(&snapshot);
1856 let next_valid = MultiBufferOffset(inlay_range.end).to_display_point(&snapshot);
1857 assert_eq!(previous_valid.row(), next_valid.row());
1858 assert!(previous_valid.column() < next_valid.column());
1859 let exact_unclipped = DisplayPoint::new(
1860 previous_valid.row(),
1861 previous_valid.column()
1862 + (entire_hint_label.find(struct_label).unwrap() + struct_label.len() / 2)
1863 as u32,
1864 );
1865 PointForPosition {
1866 previous_valid,
1867 next_valid,
1868 exact_unclipped,
1869 column_overshoot_after_line_end: 0,
1870 }
1871 });
1872 cx.update_editor(|editor, window, cx| {
1873 editor.update_inlay_link_and_hover_points(
1874 &editor.snapshot(window, cx),
1875 struct_hint_part_hover_position,
1876 true,
1877 false,
1878 window,
1879 cx,
1880 );
1881 });
1882 cx.background_executor
1883 .advance_clock(Duration::from_millis(get_hover_popover_delay(&cx) + 100));
1884 cx.background_executor.run_until_parked();
1885 cx.update_editor(|editor, _, cx| {
1886 let hover_state = &editor.hover_state;
1887 assert!(
1888 hover_state.diagnostic_popover.is_none() && hover_state.info_popovers.len() == 1
1889 );
1890 let popover = hover_state.info_popovers.first().unwrap();
1891 let buffer_snapshot = editor.buffer().update(cx, |buffer, cx| buffer.snapshot(cx));
1892 assert_eq!(
1893 popover.symbol_range,
1894 RangeInEditor::Inlay(InlayHighlight {
1895 inlay: InlayId::Hint(0),
1896 inlay_position: buffer_snapshot
1897 .anchor_after(MultiBufferOffset(inlay_range.start)),
1898 range: ": ".len() + new_type_label.len() + "<".len()
1899 ..": ".len() + new_type_label.len() + "<".len() + struct_label.len(),
1900 }),
1901 "Popover range should match the struct label part"
1902 );
1903 assert_eq!(
1904 popover.get_rendered_text(cx),
1905 format!("A tooltip for {struct_label}"),
1906 "Rendered markdown element should remove backticks from text"
1907 );
1908 });
1909 }
1910}