Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'helix-term/src/ui/completion.rs')
| -rw-r--r-- | helix-term/src/ui/completion.rs | 611 |
1 files changed, 243 insertions, 368 deletions
diff --git a/helix-term/src/ui/completion.rs b/helix-term/src/ui/completion.rs index c0d3294f..14397bb5 100644 --- a/helix-term/src/ui/completion.rs +++ b/helix-term/src/ui/completion.rs @@ -1,142 +1,219 @@ -use crate::handlers::completion::LspCompletionItem; -use crate::ui::{menu, Markdown, Menu, Popup, PromptEvent}; use crate::{ compositor::{Component, Context, Event, EventResult}, - handlers::completion::{ - trigger_auto_completion, CompletionItem, CompletionResponse, ResolveHandler, - }, + handlers::{completion::ResolveHandler, trigger_auto_completion}, }; -use helix_core::snippets::{ActiveSnippet, RenderedSnippet, Snippet}; -use helix_core::{self as core, chars, fuzzy::MATCHER, Change, Transaction}; -use helix_lsp::{lsp, util, OffsetEncoding}; use helix_view::{ + document::SavePoint, editor::CompleteAction, handlers::lsp::SignatureHelpInvoked, - theme::{Color, Modifier, Style}, + theme::{Modifier, Style}, ViewId, }; -use helix_view::{graphics::Rect, Document, Editor}; -use nucleo::{ - pattern::{Atom, AtomKind, CaseMatching, Normalization}, - Config, Utf32Str, -}; -use tui::text::Spans; use tui::{buffer::Buffer as Surface, text::Span}; -use std::cmp::Reverse; +use std::{borrow::Cow, sync::Arc}; + +use helix_core::{chars, Change, Transaction}; +use helix_view::{graphics::Rect, Document, Editor}; + +use crate::ui::{menu, Markdown, Menu, Popup, PromptEvent}; + +use helix_lsp::{lsp, util, LanguageServerId, OffsetEncoding}; impl menu::Item for CompletionItem { - type Data = Style; - - fn format(&self, dir_style: &Self::Data) -> menu::Row<'_> { - let deprecated = match self { - CompletionItem::Lsp(LspCompletionItem { item, .. }) => { - item.deprecated.unwrap_or_default() - || item - .tags - .as_ref() - .is_some_and(|tags| tags.contains(&lsp::CompletionItemTag::DEPRECATED)) - } - CompletionItem::Other(_) => false, - }; + type Data = (); + fn sort_text(&self, data: &Self::Data) -> Cow<str> { + self.filter_text(data) + } - let label = match self { - CompletionItem::Lsp(LspCompletionItem { item, .. }) => item.label.as_str(), - CompletionItem::Other(core::CompletionItem { label, .. }) => label, - }; + #[inline] + fn filter_text(&self, _data: &Self::Data) -> Cow<str> { + self.item + .filter_text + .as_ref() + .unwrap_or(&self.item.label) + .as_str() + .into() + } - let kind = match self { - CompletionItem::Lsp(LspCompletionItem { item, .. }) => match item.kind { - Some(lsp::CompletionItemKind::TEXT) => "text".into(), - Some(lsp::CompletionItemKind::METHOD) => "method".into(), - Some(lsp::CompletionItemKind::FUNCTION) => "function".into(), - Some(lsp::CompletionItemKind::CONSTRUCTOR) => "constructor".into(), - Some(lsp::CompletionItemKind::FIELD) => "field".into(), - Some(lsp::CompletionItemKind::VARIABLE) => "variable".into(), - Some(lsp::CompletionItemKind::CLASS) => "class".into(), - Some(lsp::CompletionItemKind::INTERFACE) => "interface".into(), - Some(lsp::CompletionItemKind::MODULE) => "module".into(), - Some(lsp::CompletionItemKind::PROPERTY) => "property".into(), - Some(lsp::CompletionItemKind::UNIT) => "unit".into(), - Some(lsp::CompletionItemKind::VALUE) => "value".into(), - Some(lsp::CompletionItemKind::ENUM) => "enum".into(), - Some(lsp::CompletionItemKind::KEYWORD) => "keyword".into(), - Some(lsp::CompletionItemKind::SNIPPET) => "snippet".into(), - Some(lsp::CompletionItemKind::COLOR) => item - .documentation - .as_ref() - .and_then(|docs| { - let text = match docs { - lsp::Documentation::String(text) => text, - lsp::Documentation::MarkupContent(lsp::MarkupContent { - value, .. - }) => value, - }; - // Language servers which send Color completion items tend to include a 6 - // digit hex code at the end for the color. The extra 1 digit is for the '#' - text.get(text.len().checked_sub(7)?..) - }) - .and_then(Color::from_hex) - .map_or("color".into(), |color| { - Spans::from(vec![ - Span::raw("color "), - Span::styled("■", Style::default().fg(color)), - ]) - }), - Some(lsp::CompletionItemKind::FILE) => "file".into(), - Some(lsp::CompletionItemKind::REFERENCE) => "reference".into(), - Some(lsp::CompletionItemKind::FOLDER) => "folder".into(), - Some(lsp::CompletionItemKind::ENUM_MEMBER) => "enum_member".into(), - Some(lsp::CompletionItemKind::CONSTANT) => "constant".into(), - Some(lsp::CompletionItemKind::STRUCT) => "struct".into(), - Some(lsp::CompletionItemKind::EVENT) => "event".into(), - Some(lsp::CompletionItemKind::OPERATOR) => "operator".into(), - Some(lsp::CompletionItemKind::TYPE_PARAMETER) => "type_param".into(), + fn format(&self, _data: &Self::Data) -> menu::Row { + let deprecated = self.item.deprecated.unwrap_or_default() + || self.item.tags.as_ref().map_or(false, |tags| { + tags.contains(&lsp::CompletionItemTag::DEPRECATED) + }); + + menu::Row::new(vec![ + menu::Cell::from(Span::styled( + self.item.label.as_str(), + if deprecated { + Style::default().add_modifier(Modifier::CROSSED_OUT) + } else { + Style::default() + }, + )), + menu::Cell::from(match self.item.kind { + Some(lsp::CompletionItemKind::TEXT) => "text", + Some(lsp::CompletionItemKind::METHOD) => "method", + Some(lsp::CompletionItemKind::FUNCTION) => "function", + Some(lsp::CompletionItemKind::CONSTRUCTOR) => "constructor", + Some(lsp::CompletionItemKind::FIELD) => "field", + Some(lsp::CompletionItemKind::VARIABLE) => "variable", + Some(lsp::CompletionItemKind::CLASS) => "class", + Some(lsp::CompletionItemKind::INTERFACE) => "interface", + Some(lsp::CompletionItemKind::MODULE) => "module", + Some(lsp::CompletionItemKind::PROPERTY) => "property", + Some(lsp::CompletionItemKind::UNIT) => "unit", + Some(lsp::CompletionItemKind::VALUE) => "value", + Some(lsp::CompletionItemKind::ENUM) => "enum", + Some(lsp::CompletionItemKind::KEYWORD) => "keyword", + Some(lsp::CompletionItemKind::SNIPPET) => "snippet", + Some(lsp::CompletionItemKind::COLOR) => "color", + Some(lsp::CompletionItemKind::FILE) => "file", + Some(lsp::CompletionItemKind::REFERENCE) => "reference", + Some(lsp::CompletionItemKind::FOLDER) => "folder", + Some(lsp::CompletionItemKind::ENUM_MEMBER) => "enum_member", + Some(lsp::CompletionItemKind::CONSTANT) => "constant", + Some(lsp::CompletionItemKind::STRUCT) => "struct", + Some(lsp::CompletionItemKind::EVENT) => "event", + Some(lsp::CompletionItemKind::OPERATOR) => "operator", + Some(lsp::CompletionItemKind::TYPE_PARAMETER) => "type_param", Some(kind) => { log::error!("Received unknown completion item kind: {:?}", kind); - "".into() + "" } - None => "".into(), - }, - CompletionItem::Other(core::CompletionItem { kind, .. }) => kind.as_ref().into(), - }; - - let label = Span::styled( - label, - if deprecated { - Style::default().add_modifier(Modifier::CROSSED_OUT) - } else if kind.0[0].content == "folder" { - *dir_style - } else { - Style::default() - }, - ); - - menu::Row::new([menu::Cell::from(label), menu::Cell::from(kind)]) + None => "", + }), + ]) } } +#[derive(Debug, PartialEq, Default, Clone)] +pub struct CompletionItem { + pub item: lsp::CompletionItem, + pub provider: LanguageServerId, + pub resolved: bool, +} + /// Wraps a Menu. pub struct Completion { popup: Popup<Menu<CompletionItem>>, #[allow(dead_code)] trigger_offset: usize, filter: String, - // TODO: move to helix-view/central handler struct in the future resolve_handler: ResolveHandler, } impl Completion { pub const ID: &'static str = "completion"; - pub fn new(editor: &Editor, items: Vec<CompletionItem>, trigger_offset: usize) -> Self { + pub fn new( + editor: &Editor, + savepoint: Arc<SavePoint>, + mut items: Vec<CompletionItem>, + trigger_offset: usize, + ) -> Self { let preview_completion_insert = editor.config().preview_completion_insert; let replace_mode = editor.config().completion_replace; - - let dir_style = editor.theme.get("ui.text.directory"); + // Sort completion items according to their preselect status (given by the LSP server) + items.sort_by_key(|item| !item.item.preselect.unwrap_or(false)); // Then create the menu - let menu = Menu::new(items, dir_style, move |editor: &mut Editor, item, event| { + let menu = Menu::new(items, (), move |editor: &mut Editor, item, event| { + fn item_to_transaction( + doc: &Document, + view_id: ViewId, + item: &lsp::CompletionItem, + offset_encoding: OffsetEncoding, + trigger_offset: usize, + include_placeholder: bool, + replace_mode: bool, + ) -> Transaction { + use helix_lsp::snippet; + let selection = doc.selection(view_id); + let text = doc.text().slice(..); + let primary_cursor = selection.primary().cursor(text); + + let (edit_offset, new_text) = if let Some(edit) = &item.text_edit { + let edit = match edit { + lsp::CompletionTextEdit::Edit(edit) => edit.clone(), + lsp::CompletionTextEdit::InsertAndReplace(item) => { + let range = if replace_mode { + item.replace + } else { + item.insert + }; + lsp::TextEdit::new(range, item.new_text.clone()) + } + }; + + let Some(range) = + util::lsp_range_to_range(doc.text(), edit.range, offset_encoding) + else { + return Transaction::new(doc.text()); + }; + + let start_offset = range.anchor as i128 - primary_cursor as i128; + let end_offset = range.head as i128 - primary_cursor as i128; + + (Some((start_offset, end_offset)), edit.new_text) + } else { + let new_text = item + .insert_text + .clone() + .unwrap_or_else(|| item.label.clone()); + // check that we are still at the correct savepoint + // we can still generate a transaction regardless but if the + // document changed (and not just the selection) then we will + // likely delete the wrong text (same if we applied an edit sent by the LS) + debug_assert!(primary_cursor == trigger_offset); + (None, new_text) + }; + + if matches!(item.kind, Some(lsp::CompletionItemKind::SNIPPET)) + || matches!( + item.insert_text_format, + Some(lsp::InsertTextFormat::SNIPPET) + ) + { + match snippet::parse(&new_text) { + Ok(snippet) => util::generate_transaction_from_snippet( + doc.text(), + selection, + edit_offset, + replace_mode, + snippet, + doc.line_ending.as_str(), + include_placeholder, + doc.tab_width(), + doc.indent_width(), + ), + Err(err) => { + log::error!( + "Failed to parse snippet: {:?}, remaining output: {}", + &new_text, + err + ); + Transaction::new(doc.text()) + } + } + } else { + util::generate_transaction_from_completion_edit( + doc.text(), + selection, + edit_offset, + replace_mode, + new_text, + ) + } + } + + fn completion_changes(transaction: &Transaction, trigger_offset: usize) -> Vec<Change> { + transaction + .changes_iter() + .filter(|(start, end, _)| (*start..=*end).contains(&trigger_offset)) + .collect() + } + let (view, doc) = current!(editor); macro_rules! language_server { @@ -175,28 +252,21 @@ impl Completion { savepoint: doc.savepoint(view), }) } - let item = item.unwrap(); - let context = &editor.handlers.completions.active_completions[&item.provider()]; // if more text was entered, remove it - doc.restore(view, &context.savepoint, false); + doc.restore(view, &savepoint, false); // always present here + let item = item.unwrap(); - match item { - CompletionItem::Lsp(item) => { - let (transaction, _) = lsp_item_to_transaction( - doc, - view.id, - &item.item, - language_server!(item).offset_encoding(), - trigger_offset, - replace_mode, - ); - doc.apply_temporary(&transaction, view.id) - } - CompletionItem::Other(core::CompletionItem { transaction, .. }) => { - doc.apply_temporary(transaction, view.id) - } - }; + let transaction = item_to_transaction( + doc, + view.id, + &item.item, + language_server!(item).offset_encoding(), + trigger_offset, + true, + replace_mode, + ); + doc.apply_temporary(&transaction, view.id); } PromptEvent::Update => {} PromptEvent::Validate => { @@ -205,68 +275,41 @@ impl Completion { { doc.restore(view, &savepoint, false); } + // always present here + let mut item = item.unwrap().clone(); - let item = item.unwrap(); - let context = &editor.handlers.completions.active_completions[&item.provider()]; - // if more text was entered, remove it - doc.restore(view, &context.savepoint, true); - // save an undo checkpoint before the completion - doc.append_changes_to_history(view); - - // item always present here - let (transaction, additional_edits, snippet) = match item.clone() { - CompletionItem::Lsp(mut item) => { - let language_server = language_server!(item); - - // resolve item if not yet resolved - if !item.resolved { - if let Some(resolved_item) = Self::resolve_completion_item( - language_server, - item.item.clone(), - ) { - item.item = resolved_item; - } - }; - - let encoding = language_server.offset_encoding(); - let (transaction, snippet) = lsp_item_to_transaction( - doc, - view.id, - &item.item, - encoding, - trigger_offset, - replace_mode, - ); - let add_edits = item.item.additional_text_edits; + let language_server = language_server!(item); + let offset_encoding = language_server.offset_encoding(); - ( - transaction, - add_edits.map(|edits| (edits, encoding)), - snippet, - ) - } - CompletionItem::Other(core::CompletionItem { transaction, .. }) => { - (transaction, None, None) + if !item.resolved { + if let Some(resolved) = + Self::resolve_completion_item(language_server, item.item.clone()) + { + item.item = resolved; } }; - + // if more text was entered, remove it + doc.restore(view, &savepoint, true); + // save an undo checkpoint before the completion + doc.append_changes_to_history(view); + let transaction = item_to_transaction( + doc, + view.id, + &item.item, + offset_encoding, + trigger_offset, + false, + replace_mode, + ); doc.apply(&transaction, view.id); - let placeholder = snippet.is_some(); - if let Some(snippet) = snippet { - doc.active_snippet = match doc.active_snippet.take() { - Some(active) => active.insert_subsnippet(snippet), - None => ActiveSnippet::new(snippet), - }; - } editor.last_completion = Some(CompleteAction::Applied { trigger_offset, changes: completion_changes(&transaction, trigger_offset), - placeholder, }); // TODO: add additional _edits to completion_changes? - if let Some((additional_edits, offset_encoding)) = additional_edits { + if let Some(additional_edits) = item.item.additional_text_edits { if !additional_edits.is_empty() { let transaction = util::generate_transaction_from_edits( doc.text(), @@ -278,7 +321,7 @@ impl Completion { } // we could have just inserted a trigger char (like a `crate::` completion for rust // so we want to retrigger immediately when accepting a completion. - trigger_auto_completion(editor, true); + trigger_auto_completion(&editor.handlers.completions, editor, true); } }; @@ -315,68 +358,12 @@ impl Completion { }; // need to recompute immediately in case start_offset != trigger_offset - completion.score(false); - completion - } + .popup + .contents_mut() + .score(&completion.filter, false); - fn score(&mut self, incremental: bool) { - let pattern = &self.filter; - let mut matcher = MATCHER.lock(); - matcher.config = Config::DEFAULT; - // slight preference towards prefix matches - matcher.config.prefer_prefix = true; - let pattern = Atom::new( - pattern, - CaseMatching::Ignore, - Normalization::Smart, - AtomKind::Fuzzy, - false, - ); - let mut buf = Vec::new(); - let (matches, options) = self.popup.contents_mut().update_options(); - if incremental { - matches.retain_mut(|(index, score)| { - let option = &options[*index as usize]; - let text = option.filter_text(); - let new_score = pattern.score(Utf32Str::new(text, &mut buf), &mut matcher); - match new_score { - Some(new_score) => { - *score = new_score as u32 / 2; - true - } - None => false, - } - }) - } else { - matches.clear(); - matches.extend(options.iter().enumerate().filter_map(|(i, option)| { - let text = option.filter_text(); - pattern - .score(Utf32Str::new(text, &mut buf), &mut matcher) - .map(|score| (i as u32, score as u32 / 3)) - })); - } - // Nucleo is meant as an FZF-like fuzzy matcher and only hides matches that are truly - // impossible - as in the sequence of characters just doesn't appear. That doesn't work - // well for completions with multiple language servers where all completions of the next - // server are below the current one (so you would get good suggestions from the second - // server below those of the first). Setting a reasonable cutoff below which to move bad - // completions out of the way helps with that. - // - // The score computation is a heuristic derived from Nucleo internal constants that may - // move upstream in the future. I want to test this out here to settle on a good number. - let min_score = (7 + pattern.needle_text().len() as u32 * 14) / 3; - matches.sort_unstable_by_key(|&(i, score)| { - let option = &options[i as usize]; - ( - score <= min_score, - Reverse(option.preselect()), - option.provider_priority(), - Reverse(score), - i, - ) - }); + completion } /// Synchronously resolve the given completion item. This is used when @@ -420,35 +407,14 @@ impl Completion { } } } - self.score(c.is_some()); - self.popup.contents_mut().reset_cursor(); - } - - pub fn replace_provider_completions( - &mut self, - response: &mut CompletionResponse, - is_incomplete: bool, - ) { - let menu = self.popup.contents_mut(); - let (_, options) = menu.update_options(); - if is_incomplete { - options.retain(|item| item.provider() != response.provider) - } - response.take_items(options); - self.score(false); - let menu = self.popup.contents_mut(); - menu.ensure_cursor_in_bounds(); + menu.score(&self.filter, c.is_some()); } pub fn is_empty(&self) -> bool { self.popup.contents().is_empty() } - pub fn replace_item( - &mut self, - old_item: &impl PartialEq<CompletionItem>, - new_item: CompletionItem, - ) { + pub fn replace_item(&mut self, old_item: &CompletionItem, new_item: CompletionItem) { self.popup.contents_mut().replace_option(old_item, new_item); } @@ -474,7 +440,7 @@ impl Component for Completion { Some(option) => option, None => return, }; - if let CompletionItem::Lsp(option) = option { + if !option.resolved { self.resolve_handler.ensure_item_resolved(cx.editor, option); } // need to render: @@ -499,35 +465,27 @@ impl Component for Completion { Markdown::new(md, cx.editor.syn_loader.clone()) }; - let mut markdown_doc = match option { - CompletionItem::Lsp(option) => match &option.item.documentation { - Some(lsp::Documentation::String(contents)) - | Some(lsp::Documentation::MarkupContent(lsp::MarkupContent { - kind: lsp::MarkupKind::PlainText, - value: contents, - })) => { - // TODO: convert to wrapped text - markdowned(language, option.item.detail.as_deref(), Some(contents)) - } - Some(lsp::Documentation::MarkupContent(lsp::MarkupContent { - kind: lsp::MarkupKind::Markdown, - value: contents, - })) => { - // TODO: set language based on doc scope - markdowned(language, option.item.detail.as_deref(), Some(contents)) - } - None if option.item.detail.is_some() => { - // TODO: set language based on doc scope - markdowned(language, option.item.detail.as_deref(), None) - } - None => return, - }, - CompletionItem::Other(option) => { - let Some(doc) = option.documentation.as_deref() else { - return; - }; - markdowned(language, None, Some(doc)) + let mut markdown_doc = match &option.item.documentation { + Some(lsp::Documentation::String(contents)) + | Some(lsp::Documentation::MarkupContent(lsp::MarkupContent { + kind: lsp::MarkupKind::PlainText, + value: contents, + })) => { + // TODO: convert to wrapped text + markdowned(language, option.item.detail.as_deref(), Some(contents)) + } + Some(lsp::Documentation::MarkupContent(lsp::MarkupContent { + kind: lsp::MarkupKind::Markdown, + value: contents, + })) => { + // TODO: set language based on doc scope + markdowned(language, option.item.detail.as_deref(), Some(contents)) } + None if option.item.detail.is_some() => { + // TODO: set language based on doc scope + markdowned(language, option.item.detail.as_deref(), None) + } + None => return, }; let popup_area = self.popup.area(area, cx.editor); @@ -579,86 +537,3 @@ impl Component for Completion { markdown_doc.render(doc_area, surface, cx); } } -fn lsp_item_to_transaction( - doc: &Document, - view_id: ViewId, - item: &lsp::CompletionItem, - offset_encoding: OffsetEncoding, - trigger_offset: usize, - replace_mode: bool, -) -> (Transaction, Option<RenderedSnippet>) { - let selection = doc.selection(view_id); - let text = doc.text().slice(..); - let primary_cursor = selection.primary().cursor(text); - - let (edit_offset, new_text) = if let Some(edit) = &item.text_edit { - let edit = match edit { - lsp::CompletionTextEdit::Edit(edit) => edit.clone(), - lsp::CompletionTextEdit::InsertAndReplace(item) => { - let range = if replace_mode { - item.replace - } else { - item.insert - }; - lsp::TextEdit::new(range, item.new_text.clone()) - } - }; - - let Some(range) = util::lsp_range_to_range(doc.text(), edit.range, offset_encoding) else { - return (Transaction::new(doc.text()), None); - }; - - let start_offset = range.anchor as i128 - primary_cursor as i128; - let end_offset = range.head as i128 - primary_cursor as i128; - - (Some((start_offset, end_offset)), edit.new_text) - } else { - let new_text = item - .insert_text - .clone() - .unwrap_or_else(|| item.label.clone()); - // check that we are still at the correct savepoint - // we can still generate a transaction regardless but if the - // document changed (and not just the selection) then we will - // likely delete the wrong text (same if we applied an edit sent by the LS) - debug_assert!(primary_cursor == trigger_offset); - (None, new_text) - }; - - if matches!(item.kind, Some(lsp::CompletionItemKind::SNIPPET)) - || matches!( - item.insert_text_format, - Some(lsp::InsertTextFormat::SNIPPET) - ) - { - let Ok(snippet) = Snippet::parse(&new_text) else { - log::error!("Failed to parse snippet: {new_text:?}",); - return (Transaction::new(doc.text()), None); - }; - let (transaction, snippet) = util::generate_transaction_from_snippet( - doc.text(), - selection, - edit_offset, - replace_mode, - snippet, - &mut doc.snippet_ctx(), - ); - (transaction, Some(snippet)) - } else { - let transaction = util::generate_transaction_from_completion_edit( - doc.text(), - selection, - edit_offset, - replace_mode, - new_text, - ); - (transaction, None) - } -} - -fn completion_changes(transaction: &Transaction, trigger_offset: usize) -> Vec<Change> { - transaction - .changes_iter() - .filter(|(start, end, _)| (*start..=*end).contains(&trigger_offset)) - .collect() -} |