2021-02-09 07:40:30 +01:00
|
|
|
use crate::compositor::{Component, Compositor, Context, EventResult};
|
|
|
|
use crossterm::event::{Event, KeyCode, KeyEvent, KeyModifiers};
|
2021-06-25 05:58:15 +02:00
|
|
|
use tui::{buffer::Buffer as Surface, widgets::Table};
|
2021-02-09 07:40:30 +01:00
|
|
|
|
2021-05-22 10:33:42 +02:00
|
|
|
pub use tui::widgets::{Cell, Row};
|
|
|
|
|
2021-03-27 04:06:40 +01:00
|
|
|
use fuzzy_matcher::skim::SkimMatcherV2 as Matcher;
|
|
|
|
use fuzzy_matcher::FuzzyMatcher;
|
|
|
|
|
2021-07-01 19:41:20 +02:00
|
|
|
use helix_view::{graphics::Rect, Editor};
|
2021-07-19 04:28:29 +02:00
|
|
|
use tui::layout::Constraint;
|
2021-02-09 07:40:30 +01:00
|
|
|
|
2021-05-22 10:33:42 +02:00
|
|
|
pub trait Item {
|
|
|
|
// TODO: sort_text
|
|
|
|
fn filter_text(&self) -> &str;
|
|
|
|
|
|
|
|
fn label(&self) -> &str;
|
|
|
|
fn row(&self) -> Row;
|
|
|
|
}
|
|
|
|
|
|
|
|
pub struct Menu<T: Item> {
|
2021-02-09 07:40:30 +01:00
|
|
|
options: Vec<T>,
|
|
|
|
|
2021-03-03 09:28:50 +01:00
|
|
|
cursor: Option<usize>,
|
2021-02-09 07:40:30 +01:00
|
|
|
|
2021-03-27 04:06:40 +01:00
|
|
|
matcher: Box<Matcher>,
|
|
|
|
/// (index, score)
|
|
|
|
matches: Vec<(usize, i64)>,
|
|
|
|
|
2021-07-19 04:28:29 +02:00
|
|
|
widths: Vec<Constraint>,
|
|
|
|
|
2021-02-09 07:40:30 +01:00
|
|
|
callback_fn: Box<dyn Fn(&mut Editor, Option<&T>, MenuEvent)>,
|
2021-03-03 09:28:50 +01:00
|
|
|
|
2021-03-08 09:13:45 +01:00
|
|
|
scroll: usize,
|
|
|
|
size: (u16, u16),
|
2021-02-09 07:40:30 +01:00
|
|
|
}
|
|
|
|
|
2021-05-22 10:33:42 +02:00
|
|
|
impl<T: Item> Menu<T> {
|
2021-02-09 07:40:30 +01:00
|
|
|
// TODO: it's like a slimmed down picker, share code? (picker = menu + prompt with different
|
|
|
|
// rendering)
|
|
|
|
pub fn new(
|
|
|
|
options: Vec<T>,
|
|
|
|
callback_fn: impl Fn(&mut Editor, Option<&T>, MenuEvent) + 'static,
|
|
|
|
) -> Self {
|
2021-03-27 04:06:40 +01:00
|
|
|
let mut menu = Self {
|
2021-02-09 07:40:30 +01:00
|
|
|
options,
|
2021-03-27 04:06:40 +01:00
|
|
|
matcher: Box::new(Matcher::default()),
|
|
|
|
matches: Vec::new(),
|
2021-03-03 09:28:50 +01:00
|
|
|
cursor: None,
|
2021-07-19 04:28:29 +02:00
|
|
|
widths: Vec::new(),
|
2021-02-09 07:40:30 +01:00
|
|
|
callback_fn: Box::new(callback_fn),
|
2021-03-08 09:13:45 +01:00
|
|
|
scroll: 0,
|
|
|
|
size: (0, 0),
|
2021-03-27 04:06:40 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
// TODO: scoring on empty input should just use a fastpath
|
|
|
|
menu.score("");
|
|
|
|
|
|
|
|
menu
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn score(&mut self, pattern: &str) {
|
|
|
|
// need to borrow via pattern match otherwise it complains about simultaneous borrow
|
|
|
|
let Self {
|
|
|
|
ref mut matcher,
|
|
|
|
ref mut matches,
|
|
|
|
..
|
|
|
|
} = *self;
|
|
|
|
|
|
|
|
// reuse the matches allocation
|
|
|
|
matches.clear();
|
|
|
|
matches.extend(
|
|
|
|
self.options
|
|
|
|
.iter()
|
|
|
|
.enumerate()
|
|
|
|
.filter_map(|(index, option)| {
|
2021-05-22 10:33:42 +02:00
|
|
|
let text = option.filter_text();
|
2021-03-27 04:06:40 +01:00
|
|
|
// TODO: using fuzzy_indices could give us the char idx for match highlighting
|
|
|
|
matcher
|
2021-06-27 06:27:35 +02:00
|
|
|
.fuzzy_match(text, pattern)
|
2021-03-27 04:06:40 +01:00
|
|
|
.map(|score| (index, score))
|
|
|
|
}),
|
|
|
|
);
|
|
|
|
matches.sort_unstable_by_key(|(_, score)| -score);
|
|
|
|
|
|
|
|
// reset cursor position
|
|
|
|
self.cursor = None;
|
|
|
|
self.scroll = 0;
|
2021-02-09 07:40:30 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn move_up(&mut self) {
|
2021-03-03 09:28:50 +01:00
|
|
|
// TODO: wrap around to end
|
2021-03-31 16:42:16 +02:00
|
|
|
let pos = self.cursor.map_or(0, |i| i.saturating_sub(1)) % self.options.len();
|
2021-03-03 09:28:50 +01:00
|
|
|
self.cursor = Some(pos);
|
2021-03-08 09:13:45 +01:00
|
|
|
self.adjust_scroll();
|
2021-02-09 07:40:30 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn move_down(&mut self) {
|
2021-03-31 16:42:16 +02:00
|
|
|
let pos = self.cursor.map_or(0, |i| i + 1) % self.options.len();
|
2021-03-03 09:28:50 +01:00
|
|
|
self.cursor = Some(pos);
|
2021-03-08 09:13:45 +01:00
|
|
|
self.adjust_scroll();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn adjust_scroll(&mut self) {
|
|
|
|
let win_height = self.size.1 as usize;
|
|
|
|
if let Some(cursor) = self.cursor {
|
|
|
|
let mut scroll = self.scroll;
|
|
|
|
if cursor > (win_height + scroll).saturating_sub(1) {
|
|
|
|
// scroll down
|
|
|
|
scroll += cursor - (win_height + scroll).saturating_sub(1)
|
|
|
|
} else if cursor < scroll {
|
|
|
|
// scroll up
|
|
|
|
scroll = cursor
|
|
|
|
}
|
|
|
|
self.scroll = scroll;
|
|
|
|
}
|
2021-02-09 07:40:30 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn selection(&self) -> Option<&T> {
|
2021-03-27 04:06:40 +01:00
|
|
|
self.cursor.and_then(|cursor| {
|
|
|
|
self.matches
|
|
|
|
.get(cursor)
|
|
|
|
.map(|(index, _score)| &self.options[*index])
|
|
|
|
})
|
2021-02-09 07:40:30 +01:00
|
|
|
}
|
2021-04-05 11:23:37 +02:00
|
|
|
|
|
|
|
pub fn is_empty(&self) -> bool {
|
|
|
|
self.matches.is_empty()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn len(&self) -> usize {
|
|
|
|
self.matches.len()
|
|
|
|
}
|
2021-02-09 07:40:30 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
use super::PromptEvent as MenuEvent;
|
|
|
|
|
2021-05-22 10:33:42 +02:00
|
|
|
impl<T: Item + 'static> Component for Menu<T> {
|
2021-02-09 07:40:30 +01:00
|
|
|
fn handle_event(&mut self, event: Event, cx: &mut Context) -> EventResult {
|
|
|
|
let event = match event {
|
|
|
|
Event::Key(event) => event,
|
|
|
|
_ => return EventResult::Ignored,
|
|
|
|
};
|
|
|
|
|
2021-05-09 11:02:31 +02:00
|
|
|
let close_fn = EventResult::Consumed(Some(Box::new(|compositor: &mut Compositor| {
|
|
|
|
// remove the layer
|
|
|
|
compositor.pop();
|
|
|
|
})));
|
2021-02-09 07:40:30 +01:00
|
|
|
|
|
|
|
match event {
|
|
|
|
// esc or ctrl-c aborts the completion and closes the menu
|
|
|
|
KeyEvent {
|
|
|
|
code: KeyCode::Esc, ..
|
|
|
|
}
|
|
|
|
| KeyEvent {
|
|
|
|
code: KeyCode::Char('c'),
|
|
|
|
modifiers: KeyModifiers::CONTROL,
|
|
|
|
} => {
|
|
|
|
(self.callback_fn)(cx.editor, self.selection(), MenuEvent::Abort);
|
|
|
|
return close_fn;
|
|
|
|
}
|
|
|
|
// arrow up/ctrl-p/shift-tab prev completion choice (including updating the doc)
|
|
|
|
KeyEvent {
|
2021-06-08 19:56:53 +02:00
|
|
|
code: KeyCode::BackTab,
|
|
|
|
..
|
2021-02-09 07:40:30 +01:00
|
|
|
}
|
|
|
|
| KeyEvent {
|
|
|
|
code: KeyCode::Up, ..
|
|
|
|
}
|
|
|
|
| KeyEvent {
|
|
|
|
code: KeyCode::Char('p'),
|
|
|
|
modifiers: KeyModifiers::CONTROL,
|
|
|
|
} => {
|
|
|
|
self.move_up();
|
|
|
|
(self.callback_fn)(cx.editor, self.selection(), MenuEvent::Update);
|
|
|
|
return EventResult::Consumed(None);
|
|
|
|
}
|
|
|
|
// arrow down/ctrl-n/tab advances completion choice (including updating the doc)
|
|
|
|
KeyEvent {
|
|
|
|
code: KeyCode::Tab,
|
|
|
|
modifiers: KeyModifiers::NONE,
|
|
|
|
}
|
|
|
|
| KeyEvent {
|
|
|
|
code: KeyCode::Down,
|
|
|
|
..
|
|
|
|
}
|
|
|
|
| KeyEvent {
|
|
|
|
code: KeyCode::Char('n'),
|
|
|
|
modifiers: KeyModifiers::CONTROL,
|
|
|
|
} => {
|
|
|
|
self.move_down();
|
|
|
|
(self.callback_fn)(cx.editor, self.selection(), MenuEvent::Update);
|
|
|
|
return EventResult::Consumed(None);
|
|
|
|
}
|
|
|
|
KeyEvent {
|
|
|
|
code: KeyCode::Enter,
|
|
|
|
..
|
|
|
|
} => {
|
2021-03-24 10:15:42 +01:00
|
|
|
if let Some(selection) = self.selection() {
|
|
|
|
(self.callback_fn)(cx.editor, Some(selection), MenuEvent::Validate);
|
|
|
|
}
|
2021-02-09 07:40:30 +01:00
|
|
|
return close_fn;
|
|
|
|
}
|
|
|
|
// KeyEvent {
|
|
|
|
// code: KeyCode::Char(c),
|
|
|
|
// modifiers: KeyModifiers::NONE,
|
|
|
|
// } => {
|
|
|
|
// self.insert_char(c);
|
|
|
|
// (self.callback_fn)(cx.editor, &self.line, MenuEvent::Update);
|
|
|
|
// }
|
|
|
|
|
|
|
|
// / -> edit_filter?
|
|
|
|
//
|
|
|
|
// enter confirms the match and closes the menu
|
|
|
|
// typing filters the menu
|
|
|
|
// if we run out of options the menu closes itself
|
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
// for some events, we want to process them but send ignore, specifically all input except
|
|
|
|
// tab/enter/ctrl-k or whatever will confirm the selection/ ctrl-n/ctrl-p for scroll.
|
|
|
|
// EventResult::Consumed(None)
|
|
|
|
EventResult::Ignored
|
|
|
|
}
|
|
|
|
|
2021-07-19 04:28:29 +02:00
|
|
|
// TODO: completion sorting
|
|
|
|
|
2021-03-08 09:00:32 +01:00
|
|
|
fn required_size(&mut self, viewport: (u16, u16)) -> Option<(u16, u16)> {
|
2021-07-19 04:28:29 +02:00
|
|
|
let n = self
|
|
|
|
.options
|
|
|
|
.first()
|
|
|
|
.map(|option| option.row().cells.len())
|
|
|
|
.unwrap_or_default();
|
|
|
|
let max_lens = self.options.iter().fold(vec![0; n], |mut acc, option| {
|
|
|
|
let row = option.row();
|
|
|
|
// maintain max for each column
|
2021-07-23 11:10:17 +02:00
|
|
|
for (acc, cell) in acc.iter_mut().zip(row.cells.iter()) {
|
2021-07-19 04:28:29 +02:00
|
|
|
let width = cell.content.width();
|
2021-07-23 11:10:17 +02:00
|
|
|
if width > *acc {
|
|
|
|
*acc = width;
|
2021-07-19 04:28:29 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
acc
|
|
|
|
});
|
2021-07-23 11:10:17 +02:00
|
|
|
let len = max_lens.iter().sum::<usize>() + n + 1; // +1: reserve some space for scrollbar
|
2021-07-19 04:28:29 +02:00
|
|
|
let width = len.min(viewport.0 as usize);
|
|
|
|
|
|
|
|
self.widths = max_lens
|
|
|
|
.into_iter()
|
|
|
|
.map(|len| Constraint::Length(len as u16))
|
|
|
|
.collect();
|
2021-03-08 09:00:32 +01:00
|
|
|
|
2021-07-23 11:10:17 +02:00
|
|
|
let height = self.options.len().min(10).min(viewport.1 as usize);
|
2021-03-08 09:00:32 +01:00
|
|
|
|
2021-03-08 09:13:45 +01:00
|
|
|
self.size = (width as u16, height as u16);
|
|
|
|
|
|
|
|
// adjust scroll offsets if size changed
|
|
|
|
self.adjust_scroll();
|
|
|
|
|
|
|
|
Some(self.size)
|
2021-03-02 10:24:24 +01:00
|
|
|
}
|
2021-02-09 07:40:30 +01:00
|
|
|
|
2021-05-27 17:01:17 +02:00
|
|
|
// TODO: required size should re-trigger when we filter items so we can draw a smaller menu
|
|
|
|
|
2021-03-02 10:24:24 +01:00
|
|
|
fn render(&self, area: Rect, surface: &mut Surface, cx: &mut Context) {
|
2021-05-07 10:38:25 +02:00
|
|
|
let style = cx.editor.theme.get("ui.text");
|
2021-05-27 17:01:17 +02:00
|
|
|
let selected = cx.editor.theme.get("ui.menu.selected");
|
2021-02-09 07:40:30 +01:00
|
|
|
|
2021-03-08 09:13:45 +01:00
|
|
|
let scroll = self.scroll;
|
2021-03-27 04:06:40 +01:00
|
|
|
|
|
|
|
let options: Vec<_> = self
|
|
|
|
.matches
|
|
|
|
.iter()
|
|
|
|
.map(|(index, _score)| {
|
|
|
|
// (index, self.options.get(*index).unwrap()) // get_unchecked
|
|
|
|
&self.options[*index] // get_unchecked
|
|
|
|
})
|
|
|
|
.collect();
|
|
|
|
|
|
|
|
let len = options.len();
|
2021-03-03 09:28:50 +01:00
|
|
|
|
|
|
|
let win_height = area.height as usize;
|
|
|
|
|
2021-05-06 10:20:00 +02:00
|
|
|
const fn div_ceil(a: usize, b: usize) -> usize {
|
2021-03-03 09:28:50 +01:00
|
|
|
(a + b - 1) / a
|
|
|
|
}
|
|
|
|
|
|
|
|
let scroll_height = std::cmp::min(div_ceil(win_height.pow(2), len), win_height as usize);
|
|
|
|
|
|
|
|
let scroll_line = (win_height - scroll_height) * scroll
|
|
|
|
/ std::cmp::max(1, len.saturating_sub(win_height));
|
|
|
|
|
2021-05-22 10:33:42 +02:00
|
|
|
let rows = options.iter().map(|option| option.row());
|
|
|
|
let table = Table::new(rows)
|
|
|
|
.style(style)
|
|
|
|
.highlight_style(selected)
|
|
|
|
.column_spacing(1)
|
2021-07-19 04:28:29 +02:00
|
|
|
.widths(&self.widths);
|
2021-05-22 10:33:42 +02:00
|
|
|
|
|
|
|
use tui::widgets::TableState;
|
|
|
|
|
|
|
|
table.render_table(
|
|
|
|
area,
|
|
|
|
surface,
|
|
|
|
&mut TableState {
|
|
|
|
offset: scroll,
|
|
|
|
selected: self.cursor,
|
|
|
|
},
|
|
|
|
);
|
2021-03-03 09:28:50 +01:00
|
|
|
|
2021-05-27 17:01:17 +02:00
|
|
|
// // TODO: set bg for the whole row if selected
|
|
|
|
// if line == self.cursor {
|
|
|
|
// surface.set_style(
|
|
|
|
// Rect::new(area.x, area.y + i as u16, area.width - 1, 1),
|
|
|
|
// selected,
|
|
|
|
// )
|
|
|
|
// }
|
|
|
|
|
2021-07-01 20:57:12 +02:00
|
|
|
for (i, _) in (scroll..(scroll + win_height).min(len)).enumerate() {
|
2021-03-03 09:28:50 +01:00
|
|
|
let is_marked = i >= scroll_line && i < scroll_line + scroll_height;
|
|
|
|
|
|
|
|
if is_marked {
|
|
|
|
let cell = surface.get_mut(area.x + area.width - 2, area.y + i as u16);
|
|
|
|
cell.set_symbol("▐ ");
|
2021-05-27 17:01:17 +02:00
|
|
|
// cell.set_style(selected);
|
2021-03-03 09:28:50 +01:00
|
|
|
// cell.set_style(if is_marked { selected } else { style });
|
|
|
|
}
|
2021-02-09 07:40:30 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|