signature_help.rs

  1use crate::actions::ShowSignatureHelp;
  2use crate::hover_popover::open_markdown_url;
  3use crate::{Editor, EditorSettings, ToggleAutoSignatureHelp, hover_markdown_style};
  4use gpui::{
  5    App, Context, Div, Entity, HighlightStyle, MouseButton, ScrollHandle, Size, Stateful,
  6    StyledText, Task, TextStyle, Window, combine_highlights,
  7};
  8use language::BufferSnapshot;
  9use markdown::{Markdown, MarkdownElement};
 10use multi_buffer::{Anchor, ToOffset};
 11use settings::Settings;
 12use std::ops::Range;
 13use text::Rope;
 14use theme::ThemeSettings;
 15use ui::{
 16    ActiveTheme, AnyElement, ButtonCommon, ButtonStyle, Clickable, FluentBuilder, IconButton,
 17    IconButtonShape, IconName, IconSize, InteractiveElement, IntoElement, Label, LabelCommon,
 18    LabelSize, ParentElement, Pixels, Scrollbar, ScrollbarState, SharedString,
 19    StatefulInteractiveElement, Styled, StyledExt, div, px, relative,
 20};
 21
 22// Language-specific settings may define quotes as "brackets", so filter them out separately.
 23const QUOTE_PAIRS: [(&str, &str); 3] = [("'", "'"), ("\"", "\""), ("`", "`")];
 24
 25#[derive(Debug, Clone, Copy, PartialEq)]
 26pub enum SignatureHelpHiddenBy {
 27    AutoClose,
 28    Escape,
 29    Selection,
 30}
 31
 32impl Editor {
 33    pub fn toggle_auto_signature_help_menu(
 34        &mut self,
 35        _: &ToggleAutoSignatureHelp,
 36        window: &mut Window,
 37        cx: &mut Context<Self>,
 38    ) {
 39        self.auto_signature_help = self
 40            .auto_signature_help
 41            .map(|auto_signature_help| !auto_signature_help)
 42            .or_else(|| Some(!EditorSettings::get_global(cx).auto_signature_help));
 43        match self.auto_signature_help {
 44            Some(true) => {
 45                self.show_signature_help(&ShowSignatureHelp, window, cx);
 46            }
 47            Some(false) => {
 48                self.hide_signature_help(cx, SignatureHelpHiddenBy::AutoClose);
 49            }
 50            None => {}
 51        }
 52    }
 53
 54    pub(super) fn hide_signature_help(
 55        &mut self,
 56        cx: &mut Context<Self>,
 57        signature_help_hidden_by: SignatureHelpHiddenBy,
 58    ) -> bool {
 59        if self.signature_help_state.is_shown() {
 60            self.signature_help_state.task = None;
 61            self.signature_help_state.hide(signature_help_hidden_by);
 62            cx.notify();
 63            true
 64        } else {
 65            false
 66        }
 67    }
 68
 69    pub fn auto_signature_help_enabled(&self, cx: &App) -> bool {
 70        if let Some(auto_signature_help) = self.auto_signature_help {
 71            auto_signature_help
 72        } else {
 73            EditorSettings::get_global(cx).auto_signature_help
 74        }
 75    }
 76
 77    pub(super) fn should_open_signature_help_automatically(
 78        &mut self,
 79        old_cursor_position: &Anchor,
 80        cx: &mut Context<Self>,
 81    ) -> bool {
 82        if !(self.signature_help_state.is_shown() || self.auto_signature_help_enabled(cx)) {
 83            return false;
 84        }
 85        let newest_selection = self.selections.newest::<usize>(cx);
 86        let head = newest_selection.head();
 87
 88        if !newest_selection.is_empty() && head != newest_selection.tail() {
 89            self.signature_help_state
 90                .hide(SignatureHelpHiddenBy::Selection);
 91            return false;
 92        }
 93
 94        let buffer_snapshot = self.buffer().read(cx).snapshot(cx);
 95        let bracket_range = |position: usize| match (position, position + 1) {
 96            (0, b) if b <= buffer_snapshot.len() => 0..b,
 97            (0, b) => 0..b - 1,
 98            (a, b) if b <= buffer_snapshot.len() => a - 1..b,
 99            (a, b) => a - 1..b - 1,
100        };
101        let not_quote_like_brackets =
102            |buffer: &BufferSnapshot, start: Range<usize>, end: Range<usize>| {
103                let text_start = buffer.text_for_range(start).collect::<String>();
104                let text_end = buffer.text_for_range(end).collect::<String>();
105                QUOTE_PAIRS
106                    .into_iter()
107                    .all(|(start, end)| text_start != start && text_end != end)
108            };
109
110        let previous_position = old_cursor_position.to_offset(&buffer_snapshot);
111        let previous_brackets_range = bracket_range(previous_position);
112        let previous_brackets_surround = buffer_snapshot
113            .innermost_enclosing_bracket_ranges(
114                previous_brackets_range,
115                Some(&not_quote_like_brackets),
116            )
117            .filter(|(start_bracket_range, end_bracket_range)| {
118                start_bracket_range.start != previous_position
119                    && end_bracket_range.end != previous_position
120            });
121        let current_brackets_range = bracket_range(head);
122        let current_brackets_surround = buffer_snapshot
123            .innermost_enclosing_bracket_ranges(
124                current_brackets_range,
125                Some(&not_quote_like_brackets),
126            )
127            .filter(|(start_bracket_range, end_bracket_range)| {
128                start_bracket_range.start != head && end_bracket_range.end != head
129            });
130
131        match (previous_brackets_surround, current_brackets_surround) {
132            (None, None) => {
133                self.signature_help_state
134                    .hide(SignatureHelpHiddenBy::AutoClose);
135                false
136            }
137            (Some(_), None) => {
138                self.signature_help_state
139                    .hide(SignatureHelpHiddenBy::AutoClose);
140                false
141            }
142            (None, Some(_)) => true,
143            (Some(previous), Some(current)) => {
144                let condition = self.signature_help_state.hidden_by_selection()
145                    || previous != current
146                    || (previous == current && self.signature_help_state.is_shown());
147                if !condition {
148                    self.signature_help_state
149                        .hide(SignatureHelpHiddenBy::AutoClose);
150                }
151                condition
152            }
153        }
154    }
155
156    pub fn show_signature_help(
157        &mut self,
158        _: &ShowSignatureHelp,
159        window: &mut Window,
160        cx: &mut Context<Self>,
161    ) {
162        if self.pending_rename.is_some() || self.has_visible_completions_menu() {
163            return;
164        }
165
166        let position = self.selections.newest_anchor().head();
167        let Some((buffer, buffer_position)) =
168            self.buffer.read(cx).text_anchor_for_position(position, cx)
169        else {
170            return;
171        };
172        let Some(lsp_store) = self.project().map(|p| p.read(cx).lsp_store()) else {
173            return;
174        };
175        let task = lsp_store.update(cx, |lsp_store, cx| {
176            lsp_store.signature_help(&buffer, buffer_position, cx)
177        });
178        let language = self.language_at(position, cx);
179
180        self.signature_help_state
181            .set_task(cx.spawn_in(window, async move |editor, cx| {
182                let signature_help = task.await;
183                editor
184                    .update(cx, |editor, cx| {
185                        let Some(mut signature_help) =
186                            signature_help.unwrap_or_default().into_iter().next()
187                        else {
188                            editor
189                                .signature_help_state
190                                .hide(SignatureHelpHiddenBy::AutoClose);
191                            return;
192                        };
193
194                        if let Some(language) = language {
195                            for signature in &mut signature_help.signatures {
196                                let text = Rope::from(signature.label.as_ref());
197                                let highlights = language
198                                    .highlight_text(&text, 0..signature.label.len())
199                                    .into_iter()
200                                    .flat_map(|(range, highlight_id)| {
201                                        Some((range, highlight_id.style(cx.theme().syntax())?))
202                                    });
203                                signature.highlights =
204                                    combine_highlights(signature.highlights.clone(), highlights)
205                                        .collect();
206                            }
207                        }
208                        let settings = ThemeSettings::get_global(cx);
209                        let style = TextStyle {
210                            color: cx.theme().colors().text,
211                            font_family: settings.buffer_font.family.clone(),
212                            font_fallbacks: settings.buffer_font.fallbacks.clone(),
213                            font_size: settings.buffer_font_size(cx).into(),
214                            font_weight: settings.buffer_font.weight,
215                            line_height: relative(settings.buffer_line_height.value()),
216                            ..TextStyle::default()
217                        };
218                        let scroll_handle = ScrollHandle::new();
219                        let signatures = signature_help
220                            .signatures
221                            .into_iter()
222                            .map(|s| SignatureHelp {
223                                label: s.label,
224                                documentation: s.documentation,
225                                highlights: s.highlights,
226                                active_parameter: s.active_parameter,
227                                parameter_documentation: s
228                                    .active_parameter
229                                    .and_then(|idx| s.parameters.get(idx))
230                                    .and_then(|param| param.documentation.clone()),
231                            })
232                            .collect::<Vec<_>>();
233
234                        if signatures.is_empty() {
235                            editor
236                                .signature_help_state
237                                .hide(SignatureHelpHiddenBy::AutoClose);
238                            return;
239                        }
240
241                        let current_signature = signature_help
242                            .active_signature
243                            .min(signatures.len().saturating_sub(1));
244
245                        let signature_help_popover = SignatureHelpPopover {
246                            scrollbar_state: ScrollbarState::new(scroll_handle.clone()),
247                            style,
248                            signatures,
249                            current_signature,
250                            scroll_handle,
251                        };
252                        editor
253                            .signature_help_state
254                            .set_popover(signature_help_popover);
255                        cx.notify();
256                    })
257                    .ok();
258            }));
259    }
260}
261
262#[derive(Default, Debug)]
263pub struct SignatureHelpState {
264    task: Option<Task<()>>,
265    popover: Option<SignatureHelpPopover>,
266    hidden_by: Option<SignatureHelpHiddenBy>,
267}
268
269impl SignatureHelpState {
270    fn set_task(&mut self, task: Task<()>) {
271        self.task = Some(task);
272        self.hidden_by = None;
273    }
274
275    #[cfg(test)]
276    pub fn popover(&self) -> Option<&SignatureHelpPopover> {
277        self.popover.as_ref()
278    }
279
280    pub fn popover_mut(&mut self) -> Option<&mut SignatureHelpPopover> {
281        self.popover.as_mut()
282    }
283
284    fn set_popover(&mut self, popover: SignatureHelpPopover) {
285        self.popover = Some(popover);
286        self.hidden_by = None;
287    }
288
289    fn hide(&mut self, hidden_by: SignatureHelpHiddenBy) {
290        if self.hidden_by.is_none() {
291            self.popover = None;
292            self.hidden_by = Some(hidden_by);
293        }
294    }
295
296    fn hidden_by_selection(&self) -> bool {
297        self.hidden_by == Some(SignatureHelpHiddenBy::Selection)
298    }
299
300    pub fn is_shown(&self) -> bool {
301        self.popover.is_some()
302    }
303
304    pub fn has_multiple_signatures(&self) -> bool {
305        self.popover
306            .as_ref()
307            .is_some_and(|popover| popover.signatures.len() > 1)
308    }
309}
310
311#[cfg(test)]
312impl SignatureHelpState {
313    pub fn task(&self) -> Option<&Task<()>> {
314        self.task.as_ref()
315    }
316}
317
318#[derive(Clone, Debug, PartialEq)]
319pub struct SignatureHelp {
320    pub(crate) label: SharedString,
321    documentation: Option<Entity<Markdown>>,
322    highlights: Vec<(Range<usize>, HighlightStyle)>,
323    active_parameter: Option<usize>,
324    parameter_documentation: Option<Entity<Markdown>>,
325}
326
327#[derive(Clone, Debug)]
328pub struct SignatureHelpPopover {
329    pub style: TextStyle,
330    pub signatures: Vec<SignatureHelp>,
331    pub current_signature: usize,
332    scroll_handle: ScrollHandle,
333    scrollbar_state: ScrollbarState,
334}
335
336impl SignatureHelpPopover {
337    pub fn render(
338        &mut self,
339        max_size: Size<Pixels>,
340        window: &mut Window,
341        cx: &mut Context<Editor>,
342    ) -> AnyElement {
343        let Some(signature) = self.signatures.get(self.current_signature) else {
344            return div().into_any_element();
345        };
346
347        let main_content = div()
348            .occlude()
349            .p_2()
350            .child(
351                div()
352                    .id("signature_help_container")
353                    .overflow_y_scroll()
354                    .max_w(max_size.width)
355                    .max_h(max_size.height)
356                    .track_scroll(&self.scroll_handle)
357                    .child(
358                        StyledText::new(signature.label.clone()).with_default_highlights(
359                            &self.style,
360                            signature.highlights.iter().cloned(),
361                        ),
362                    )
363                    .when_some(
364                        signature.parameter_documentation.clone(),
365                        |this, param_doc| {
366                            this.child(div().h_px().bg(cx.theme().colors().border_variant).my_1())
367                                .child(
368                                    MarkdownElement::new(
369                                        param_doc,
370                                        hover_markdown_style(window, cx),
371                                    )
372                                    .code_block_renderer(markdown::CodeBlockRenderer::Default {
373                                        copy_button: false,
374                                        border: false,
375                                        copy_button_on_hover: false,
376                                    })
377                                    .on_url_click(open_markdown_url),
378                                )
379                        },
380                    )
381                    .when_some(signature.documentation.clone(), |this, description| {
382                        this.child(div().h_px().bg(cx.theme().colors().border_variant).my_1())
383                            .child(
384                                MarkdownElement::new(description, hover_markdown_style(window, cx))
385                                    .code_block_renderer(markdown::CodeBlockRenderer::Default {
386                                        copy_button: false,
387                                        border: false,
388                                        copy_button_on_hover: false,
389                                    })
390                                    .on_url_click(open_markdown_url),
391                            )
392                    }),
393            )
394            .child(self.render_vertical_scrollbar(cx));
395        let controls = if self.signatures.len() > 1 {
396            let prev_button = IconButton::new("signature_help_prev", IconName::ChevronUp)
397                .shape(IconButtonShape::Square)
398                .style(ButtonStyle::Subtle)
399                .icon_size(IconSize::Small)
400                .tooltip(move |window, cx| {
401                    ui::Tooltip::for_action(
402                        "Previous Signature",
403                        &crate::SignatureHelpPrevious,
404                        window,
405                        cx,
406                    )
407                })
408                .on_click(cx.listener(|editor, _, window, cx| {
409                    editor.signature_help_prev(&crate::SignatureHelpPrevious, window, cx);
410                }));
411
412            let next_button = IconButton::new("signature_help_next", IconName::ChevronDown)
413                .shape(IconButtonShape::Square)
414                .style(ButtonStyle::Subtle)
415                .icon_size(IconSize::Small)
416                .tooltip(move |window, cx| {
417                    ui::Tooltip::for_action("Next Signature", &crate::SignatureHelpNext, window, cx)
418                })
419                .on_click(cx.listener(|editor, _, window, cx| {
420                    editor.signature_help_next(&crate::SignatureHelpNext, window, cx);
421                }));
422
423            let page = Label::new(format!(
424                "{}/{}",
425                self.current_signature + 1,
426                self.signatures.len()
427            ))
428            .size(LabelSize::Small);
429
430            Some(
431                div()
432                    .flex()
433                    .flex_col()
434                    .items_center()
435                    .gap_0p5()
436                    .px_0p5()
437                    .py_0p5()
438                    .children([
439                        prev_button.into_any_element(),
440                        div().child(page).into_any_element(),
441                        next_button.into_any_element(),
442                    ])
443                    .into_any_element(),
444            )
445        } else {
446            None
447        };
448        div()
449            .elevation_2(cx)
450            .on_mouse_down(MouseButton::Left, |_, _, cx| cx.stop_propagation())
451            .on_mouse_move(|_, _, cx| cx.stop_propagation())
452            .flex()
453            .flex_row()
454            .when_some(controls, |this, controls| {
455                this.children(vec![
456                    div().flex().items_end().child(controls),
457                    div().w_px().bg(cx.theme().colors().border_variant),
458                ])
459            })
460            .child(main_content)
461            .into_any_element()
462    }
463
464    fn render_vertical_scrollbar(&self, cx: &mut Context<Editor>) -> Stateful<Div> {
465        div()
466            .occlude()
467            .id("signature_help_scrollbar")
468            .on_mouse_move(cx.listener(|_, _, _, cx| {
469                cx.notify();
470                cx.stop_propagation()
471            }))
472            .on_hover(|_, _, cx| cx.stop_propagation())
473            .on_any_mouse_down(|_, _, cx| cx.stop_propagation())
474            .on_mouse_up(MouseButton::Left, |_, _, cx| cx.stop_propagation())
475            .on_scroll_wheel(cx.listener(|_, _, _, cx| cx.notify()))
476            .h_full()
477            .absolute()
478            .right_1()
479            .top_1()
480            .bottom_1()
481            .w(px(12.))
482            .cursor_default()
483            .children(Scrollbar::vertical(self.scrollbar_state.clone()))
484    }
485}