Display more data in completion popups.

This commit is contained in:
Blaž Hrastnik 2021-05-22 17:33:42 +09:00
parent f1dc25a774
commit b114cfa119
4 changed files with 161 additions and 105 deletions

View file

@ -12,11 +12,63 @@ use helix_core::{Position, Transaction};
use helix_view::Editor; use helix_view::Editor;
use crate::commands; use crate::commands;
use crate::ui::{Markdown, Menu, Popup, PromptEvent}; use crate::ui::{menu, Markdown, Menu, Popup, PromptEvent};
use helix_lsp::lsp; use helix_lsp::lsp;
use lsp::CompletionItem; use lsp::CompletionItem;
impl menu::Item for CompletionItem {
fn filter_text(&self) -> &str {
self.filter_text
.as_ref()
.unwrap_or_else(|| &self.label)
.as_str()
}
fn label(&self) -> &str {
self.label.as_str()
}
fn row(&self) -> menu::Row {
menu::Row::new(vec![
menu::Cell::from(self.label.as_str()),
menu::Cell::from(match self.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::EnumMember) => "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::TypeParameter) => "type_param",
None => "",
}),
// self.detail.as_deref().unwrap_or("")
// self.label_details
// .as_ref()
// .or(self.detail())
// .as_str(),
])
}
}
/// Wraps a Menu. /// Wraps a Menu.
pub struct Completion { pub struct Completion {
popup: Popup<Menu<CompletionItem>>, // TODO: Popup<Menu> need to be able to access contents. popup: Popup<Menu<CompletionItem>>, // TODO: Popup<Menu> need to be able to access contents.
@ -31,92 +83,83 @@ impl Completion {
trigger_offset: usize, trigger_offset: usize,
) -> Self { ) -> Self {
// let items: Vec<CompletionItem> = Vec::new(); // let items: Vec<CompletionItem> = Vec::new();
let mut menu = Menu::new( let mut menu = Menu::new(items, move |editor: &mut Editor, item, event| {
items, match event {
|item| { PromptEvent::Abort => {
// format_fn // revert state
item.label.as_str().into() // let id = editor.view().doc;
// let doc = &mut editor.documents[id];
// doc.state = snapshot.clone();
}
PromptEvent::Validate => {
let (view, doc) = editor.current();
// TODO: use item.filter_text for filtering // revert state to what it was before the last update
}, // doc.state = snapshot.clone();
move |editor: &mut Editor, item, event| {
match event {
PromptEvent::Abort => {
// revert state
// let id = editor.view().doc;
// let doc = &mut editor.documents[id];
// doc.state = snapshot.clone();
}
PromptEvent::Validate => {
let (view, doc) = editor.current();
// revert state to what it was before the last update // extract as fn(doc, item):
// doc.state = snapshot.clone();
// extract as fn(doc, item): // TODO: need to apply without composing state...
// TODO: need to update lsp on accept/cancel by diffing the snapshot with
// the final state?
// -> on update simply update the snapshot, then on accept redo the call,
// finally updating doc.changes + notifying lsp.
//
// or we could simply use doc.undo + apply when changing between options
// TODO: need to apply without composing state... // always present here
// TODO: need to update lsp on accept/cancel by diffing the snapshot with let item = item.unwrap();
// the final state?
// -> on update simply update the snapshot, then on accept redo the call,
// finally updating doc.changes + notifying lsp.
//
// or we could simply use doc.undo + apply when changing between options
// always present here use helix_lsp::{lsp, util};
let item = item.unwrap(); // determine what to insert: text_edit | insert_text | label
let edit = if let Some(edit) = &item.text_edit {
use helix_lsp::{lsp, util}; match edit {
// determine what to insert: text_edit | insert_text | label lsp::CompletionTextEdit::Edit(edit) => edit.clone(),
let edit = if let Some(edit) = &item.text_edit { lsp::CompletionTextEdit::InsertAndReplace(item) => {
match edit { unimplemented!("completion: insert_and_replace {:?}", item)
lsp::CompletionTextEdit::Edit(edit) => edit.clone(),
lsp::CompletionTextEdit::InsertAndReplace(item) => {
unimplemented!("completion: insert_and_replace {:?}", item)
}
} }
} else {
item.insert_text.as_ref().unwrap_or(&item.label);
unimplemented!();
// lsp::TextEdit::new(); TODO: calculate a TextEdit from insert_text
// and we insert at position.
};
// if more text was entered, remove it
let cursor = doc.selection(view.id).cursor();
if trigger_offset < cursor {
let remove = Transaction::change(
doc.text(),
vec![(trigger_offset, cursor, None)].into_iter(),
);
doc.apply(&remove, view.id);
} }
} else {
item.insert_text.as_ref().unwrap_or(&item.label);
unimplemented!();
// lsp::TextEdit::new(); TODO: calculate a TextEdit from insert_text
// and we insert at position.
};
use helix_lsp::OffsetEncoding; // if more text was entered, remove it
let transaction = util::generate_transaction_from_edits( let cursor = doc.selection(view.id).cursor();
if trigger_offset < cursor {
let remove = Transaction::change(
doc.text(), doc.text(),
vec![edit], vec![(trigger_offset, cursor, None)].into_iter(),
offset_encoding, // TODO: should probably transcode in Client
); );
doc.apply(&transaction, view.id); doc.apply(&remove, view.id);
}
// TODO: merge edit with additional_text_edits use helix_lsp::OffsetEncoding;
if let Some(additional_edits) = &item.additional_text_edits { let transaction = util::generate_transaction_from_edits(
// gopls uses this to add extra imports doc.text(),
if !additional_edits.is_empty() { vec![edit],
let transaction = util::generate_transaction_from_edits( offset_encoding, // TODO: should probably transcode in Client
doc.text(), );
additional_edits.clone(), doc.apply(&transaction, view.id);
offset_encoding, // TODO: should probably transcode in Client
); // TODO: merge edit with additional_text_edits
doc.apply(&transaction, view.id); if let Some(additional_edits) = &item.additional_text_edits {
} // gopls uses this to add extra imports
if !additional_edits.is_empty() {
let transaction = util::generate_transaction_from_edits(
doc.text(),
additional_edits.clone(),
offset_encoding, // TODO: should probably transcode in Client
);
doc.apply(&transaction, view.id);
} }
} }
_ => (), }
}; _ => (),
}, };
); });
let popup = Popup::new(menu); let popup = Popup::new(menu);
Self { Self {
popup, popup,

View file

@ -4,8 +4,11 @@ use tui::{
buffer::Buffer as Surface, buffer::Buffer as Surface,
layout::Rect, layout::Rect,
style::{Color, Style}, style::{Color, Style},
widgets::Table,
}; };
pub use tui::widgets::{Cell, Row};
use std::borrow::Cow; use std::borrow::Cow;
use fuzzy_matcher::skim::SkimMatcherV2 as Matcher; use fuzzy_matcher::skim::SkimMatcherV2 as Matcher;
@ -14,7 +17,15 @@ use fuzzy_matcher::FuzzyMatcher;
use helix_core::Position; use helix_core::Position;
use helix_view::Editor; use helix_view::Editor;
pub struct Menu<T> { pub trait Item {
// TODO: sort_text
fn filter_text(&self) -> &str;
fn label(&self) -> &str;
fn row(&self) -> Row;
}
pub struct Menu<T: Item> {
options: Vec<T>, options: Vec<T>,
cursor: Option<usize>, cursor: Option<usize>,
@ -23,19 +34,17 @@ pub struct Menu<T> {
/// (index, score) /// (index, score)
matches: Vec<(usize, i64)>, matches: Vec<(usize, i64)>,
format_fn: Box<dyn Fn(&T) -> Cow<str>>,
callback_fn: Box<dyn Fn(&mut Editor, Option<&T>, MenuEvent)>, callback_fn: Box<dyn Fn(&mut Editor, Option<&T>, MenuEvent)>,
scroll: usize, scroll: usize,
size: (u16, u16), size: (u16, u16),
} }
impl<T> Menu<T> { impl<T: Item> Menu<T> {
// TODO: it's like a slimmed down picker, share code? (picker = menu + prompt with different // TODO: it's like a slimmed down picker, share code? (picker = menu + prompt with different
// rendering) // rendering)
pub fn new( pub fn new(
options: Vec<T>, options: Vec<T>,
format_fn: impl Fn(&T) -> Cow<str> + 'static,
callback_fn: impl Fn(&mut Editor, Option<&T>, MenuEvent) + 'static, callback_fn: impl Fn(&mut Editor, Option<&T>, MenuEvent) + 'static,
) -> Self { ) -> Self {
let mut menu = Self { let mut menu = Self {
@ -43,7 +52,6 @@ impl<T> Menu<T> {
matcher: Box::new(Matcher::default()), matcher: Box::new(Matcher::default()),
matches: Vec::new(), matches: Vec::new(),
cursor: None, cursor: None,
format_fn: Box::new(format_fn),
callback_fn: Box::new(callback_fn), callback_fn: Box::new(callback_fn),
scroll: 0, scroll: 0,
size: (0, 0), size: (0, 0),
@ -61,7 +69,6 @@ impl<T> Menu<T> {
ref mut options, ref mut options,
ref mut matcher, ref mut matcher,
ref mut matches, ref mut matches,
ref format_fn,
.. ..
} = *self; } = *self;
@ -72,8 +79,7 @@ impl<T> Menu<T> {
.iter() .iter()
.enumerate() .enumerate()
.filter_map(|(index, option)| { .filter_map(|(index, option)| {
// TODO: maybe using format_fn isn't the best idea here let text = option.filter_text();
let text = (format_fn)(option);
// TODO: using fuzzy_indices could give us the char idx for match highlighting // TODO: using fuzzy_indices could give us the char idx for match highlighting
matcher matcher
.fuzzy_match(&text, pattern) .fuzzy_match(&text, pattern)
@ -134,7 +140,7 @@ impl<T> Menu<T> {
use super::PromptEvent as MenuEvent; use super::PromptEvent as MenuEvent;
impl<T: 'static> Component for Menu<T> { impl<T: Item + 'static> Component for Menu<T> {
fn handle_event(&mut self, event: Event, cx: &mut Context) -> EventResult { fn handle_event(&mut self, event: Event, cx: &mut Context) -> EventResult {
let event = match event { let event = match event {
Event::Key(event) => event, Event::Key(event) => event,
@ -264,20 +270,26 @@ impl<T: 'static> Component for Menu<T> {
let scroll_line = (win_height - scroll_height) * scroll let scroll_line = (win_height - scroll_height) * scroll
/ std::cmp::max(1, len.saturating_sub(win_height)); / std::cmp::max(1, len.saturating_sub(win_height));
for (i, option) in options[scroll..(scroll + win_height).min(len)] use tui::layout::Constraint;
.iter() let rows = options.iter().map(|option| option.row());
.enumerate() let table = Table::new(rows)
{ .style(style)
let line = Some(i + scroll); .highlight_style(selected)
// TODO: set bg for the whole row if selected .column_spacing(1)
surface.set_stringn( .widths(&[Constraint::Percentage(50), Constraint::Percentage(50)]);
area.x,
area.y + i as u16,
(self.format_fn)(option),
area.width as usize - 1,
if line == self.cursor { selected } else { style },
);
use tui::widgets::TableState;
table.render_table(
area,
surface,
&mut TableState {
offset: scroll,
selected: self.cursor,
},
);
for (i, option) in (scroll..(scroll + win_height).min(len)).enumerate() {
let is_marked = i >= scroll_line && i < scroll_line + scroll_height; let is_marked = i >= scroll_line && i < scroll_line + scroll_height;
if is_marked { if is_marked {

View file

@ -13,12 +13,12 @@ mod block;
// mod list; // mod list;
mod paragraph; mod paragraph;
mod reflow; mod reflow;
// mod table; mod table;
pub use self::block::{Block, BorderType}; pub use self::block::{Block, BorderType};
// pub use self::list::{List, ListItem, ListState}; // pub use self::list::{List, ListItem, ListState};
pub use self::paragraph::{Paragraph, Wrap}; pub use self::paragraph::{Paragraph, Wrap};
// pub use self::table::{Cell, Row, Table, TableState}; pub use self::table::{Cell, Row, Table, TableState};
use crate::{buffer::Buffer, layout::Rect}; use crate::{buffer::Buffer, layout::Rect};
use bitflags::bitflags; use bitflags::bitflags;

View file

@ -3,7 +3,7 @@ use crate::{
layout::{Constraint, Rect}, layout::{Constraint, Rect},
style::Style, style::Style,
text::Text, text::Text,
widgets::{Block, StatefulWidget, Widget}, widgets::{Block, Widget},
}; };
use cassowary::{ use cassowary::{
strength::{MEDIUM, REQUIRED, WEAK}, strength::{MEDIUM, REQUIRED, WEAK},
@ -368,8 +368,8 @@ impl<'a> Table<'a> {
#[derive(Debug, Clone)] #[derive(Debug, Clone)]
pub struct TableState { pub struct TableState {
offset: usize, pub offset: usize,
selected: Option<usize>, pub selected: Option<usize>,
} }
impl Default for TableState { impl Default for TableState {
@ -394,10 +394,11 @@ impl TableState {
} }
} }
impl<'a> StatefulWidget for Table<'a> { // impl<'a> StatefulWidget for Table<'a> {
type State = TableState; impl<'a> Table<'a> {
// type State = TableState;
fn render(mut self, area: Rect, buf: &mut Buffer, state: &mut Self::State) { pub fn render_table(mut self, area: Rect, buf: &mut Buffer, state: &mut TableState) {
if area.area() == 0 { if area.area() == 0 {
return; return;
} }
@ -522,7 +523,7 @@ fn render_cell(buf: &mut Buffer, cell: &Cell, area: Rect) {
impl<'a> Widget for Table<'a> { impl<'a> Widget for Table<'a> {
fn render(self, area: Rect, buf: &mut Buffer) { fn render(self, area: Rect, buf: &mut Buffer) {
let mut state = TableState::default(); let mut state = TableState::default();
StatefulWidget::render(self, area, buf, &mut state); Table::render_table(self, area, buf, &mut state);
} }
} }