2021-03-22 04:40:07 +01:00
|
|
|
use crate::{
|
|
|
|
commands,
|
2021-07-01 19:41:20 +02:00
|
|
|
compositor::{Component, Context, EventResult},
|
2021-03-30 11:19:27 +02:00
|
|
|
key,
|
2021-09-05 05:55:13 +02:00
|
|
|
keymap::{KeymapResult, KeymapResultKind, Keymaps},
|
2021-06-20 21:31:45 +02:00
|
|
|
ui::{Completion, ProgressSpinners},
|
2021-03-22 04:40:07 +01:00
|
|
|
};
|
2020-12-13 05:35:30 +01:00
|
|
|
|
2021-03-12 06:46:23 +01:00
|
|
|
use helix_core::{
|
2021-04-09 10:56:31 +02:00
|
|
|
coords_at_pos,
|
2021-07-02 08:36:09 +02:00
|
|
|
graphemes::{ensure_grapheme_boundary_next, next_grapheme_boundary, prev_grapheme_boundary},
|
2021-08-10 07:35:20 +02:00
|
|
|
movement::Direction,
|
2021-07-01 19:41:20 +02:00
|
|
|
syntax::{self, HighlightEvent},
|
2021-07-28 06:57:07 +02:00
|
|
|
unicode::segmentation::UnicodeSegmentation,
|
|
|
|
unicode::width::UnicodeWidthStr,
|
2021-10-25 04:11:11 +02:00
|
|
|
LineEnding, Position, Range, Selection,
|
2021-03-12 06:46:23 +01:00
|
|
|
};
|
2021-06-25 05:58:15 +02:00
|
|
|
use helix_view::{
|
2021-11-13 21:44:51 +01:00
|
|
|
document::{Mode, SCRATCH_BUFFER_NAME},
|
2021-08-16 04:11:53 +02:00
|
|
|
editor::LineNumber,
|
2021-07-01 19:41:20 +02:00
|
|
|
graphics::{CursorKind, Modifier, Rect, Style},
|
2021-07-26 18:07:13 +02:00
|
|
|
info::Info,
|
2021-06-25 05:58:15 +02:00
|
|
|
input::KeyEvent,
|
|
|
|
keyboard::{KeyCode, KeyModifiers},
|
|
|
|
Document, Editor, Theme, View,
|
|
|
|
};
|
2020-12-13 05:35:30 +01:00
|
|
|
use std::borrow::Cow;
|
|
|
|
|
2021-07-30 09:52:00 +02:00
|
|
|
use crossterm::event::{Event, MouseButton, MouseEvent, MouseEventKind};
|
2021-07-01 19:41:20 +02:00
|
|
|
use tui::buffer::Buffer as Surface;
|
2020-12-13 04:23:50 +01:00
|
|
|
|
|
|
|
pub struct EditorView {
|
2021-06-17 13:08:05 +02:00
|
|
|
keymaps: Keymaps,
|
2021-03-11 02:44:38 +01:00
|
|
|
on_next_key: Option<Box<dyn FnOnce(&mut commands::Context, KeyEvent)>>,
|
2021-03-30 11:19:27 +02:00
|
|
|
last_insert: (commands::Command, Vec<KeyEvent>),
|
2021-08-26 04:14:46 +02:00
|
|
|
pub(crate) completion: Option<Completion>,
|
2021-06-20 21:31:45 +02:00
|
|
|
spinners: ProgressSpinners,
|
2021-08-12 09:00:42 +02:00
|
|
|
autoinfo: Option<Info>,
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
|
2021-06-07 16:08:51 +02:00
|
|
|
impl Default for EditorView {
|
|
|
|
fn default() -> Self {
|
2021-06-17 13:08:05 +02:00
|
|
|
Self::new(Keymaps::default())
|
2021-06-07 16:08:51 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-12-13 04:23:50 +01:00
|
|
|
impl EditorView {
|
2021-06-17 13:08:05 +02:00
|
|
|
pub fn new(keymaps: Keymaps) -> Self {
|
2020-12-13 04:23:50 +01:00
|
|
|
Self {
|
2021-06-17 13:08:05 +02:00
|
|
|
keymaps,
|
2021-03-11 02:44:38 +01:00
|
|
|
on_next_key: None,
|
2021-06-17 13:08:05 +02:00
|
|
|
last_insert: (commands::Command::normal_mode, Vec::new()),
|
2021-04-05 11:23:37 +02:00
|
|
|
completion: None,
|
2021-06-20 21:31:45 +02:00
|
|
|
spinners: ProgressSpinners::default(),
|
2021-07-26 18:07:13 +02:00
|
|
|
autoinfo: None,
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
}
|
2021-03-29 08:04:29 +02:00
|
|
|
|
2021-06-20 21:31:45 +02:00
|
|
|
pub fn spinners_mut(&mut self) -> &mut ProgressSpinners {
|
|
|
|
&mut self.spinners
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(clippy::too_many_arguments)]
|
2020-12-13 04:23:50 +01:00
|
|
|
pub fn render_view(
|
|
|
|
&self,
|
2021-03-23 09:47:40 +01:00
|
|
|
doc: &Document,
|
2021-03-12 06:46:23 +01:00
|
|
|
view: &View,
|
2020-12-13 04:23:50 +01:00
|
|
|
viewport: Rect,
|
|
|
|
surface: &mut Surface,
|
|
|
|
theme: &Theme,
|
2021-02-04 08:49:55 +01:00
|
|
|
is_focused: bool,
|
2021-07-11 03:40:18 +02:00
|
|
|
loader: &syntax::Loader,
|
2021-08-16 04:11:53 +02:00
|
|
|
config: &helix_view::editor::Config,
|
2020-12-13 04:23:50 +01:00
|
|
|
) {
|
2021-08-19 06:19:15 +02:00
|
|
|
let inner = view.inner_area();
|
|
|
|
let area = view.area;
|
|
|
|
|
|
|
|
let highlights = Self::doc_syntax_highlights(doc, view.offset, inner.height, theme, loader);
|
2021-08-12 09:00:42 +02:00
|
|
|
let highlights = syntax::merge(highlights, Self::doc_diagnostics_highlights(doc, theme));
|
|
|
|
let highlights: Box<dyn Iterator<Item = HighlightEvent>> = if is_focused {
|
|
|
|
Box::new(syntax::merge(
|
|
|
|
highlights,
|
|
|
|
Self::doc_selection_highlights(doc, view, theme),
|
|
|
|
))
|
|
|
|
} else {
|
|
|
|
Box::new(highlights)
|
|
|
|
};
|
|
|
|
|
2021-08-19 06:19:15 +02:00
|
|
|
Self::render_text_highlights(doc, view.offset, inner, surface, theme, highlights);
|
|
|
|
Self::render_gutter(doc, view, view.area, surface, theme, is_focused, config);
|
2021-08-12 09:00:42 +02:00
|
|
|
|
|
|
|
if is_focused {
|
2021-08-19 06:19:15 +02:00
|
|
|
Self::render_focused_view_elements(view, doc, inner, theme, surface);
|
2021-08-12 09:00:42 +02:00
|
|
|
}
|
2020-12-22 08:48:34 +01:00
|
|
|
|
2021-04-08 09:54:55 +02:00
|
|
|
// if we're not at the edge of the screen, draw a right border
|
|
|
|
if viewport.right() != view.area.right() {
|
|
|
|
let x = area.right();
|
|
|
|
let border_style = theme.get("ui.window");
|
|
|
|
for y in area.top()..area.bottom() {
|
|
|
|
surface
|
|
|
|
.get_mut(x, y)
|
2021-06-29 18:01:28 +02:00
|
|
|
.set_symbol(tui::symbols::line::VERTICAL)
|
|
|
|
//.set_symbol(" ")
|
2021-04-08 09:54:55 +02:00
|
|
|
.set_style(border_style);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-08-19 06:19:15 +02:00
|
|
|
self.render_diagnostics(doc, view, inner, surface, theme);
|
2021-03-15 08:19:31 +01:00
|
|
|
|
2021-08-21 07:21:20 +02:00
|
|
|
let statusline_area = view
|
|
|
|
.area
|
|
|
|
.clip_top(view.area.height.saturating_sub(1))
|
|
|
|
.clip_bottom(1); // -1 from bottom to remove commandline
|
|
|
|
self.render_statusline(doc, view, statusline_area, surface, theme, is_focused);
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
/// Get syntax highlights for a document in a view represented by the first line
|
|
|
|
/// and column (`offset`) and the last line. This is done instead of using a view
|
|
|
|
/// directly to enable rendering syntax highlighted docs anywhere (eg. picker preview)
|
2021-07-11 03:40:18 +02:00
|
|
|
#[allow(clippy::too_many_arguments)]
|
2021-08-12 09:00:42 +02:00
|
|
|
pub fn doc_syntax_highlights<'doc>(
|
|
|
|
doc: &'doc Document,
|
|
|
|
offset: Position,
|
|
|
|
height: u16,
|
2020-12-13 04:23:50 +01:00
|
|
|
theme: &Theme,
|
2021-07-11 03:40:18 +02:00
|
|
|
loader: &syntax::Loader,
|
2021-08-12 09:00:42 +02:00
|
|
|
) -> Box<dyn Iterator<Item = HighlightEvent> + 'doc> {
|
2021-03-16 10:27:57 +01:00
|
|
|
let text = doc.text().slice(..);
|
2021-08-12 09:00:42 +02:00
|
|
|
let last_line = std::cmp::min(
|
|
|
|
// Saturating subs to make it inclusive zero indexing.
|
|
|
|
(offset.row + height as usize).saturating_sub(1),
|
|
|
|
doc.text().len_lines().saturating_sub(1),
|
|
|
|
);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
|
|
|
let range = {
|
|
|
|
// calculate viewport byte ranges
|
2021-08-12 09:00:42 +02:00
|
|
|
let start = text.line_to_byte(offset.row);
|
2021-03-12 06:46:23 +01:00
|
|
|
let end = text.line_to_byte(last_line + 1);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
|
|
|
start..end
|
|
|
|
};
|
|
|
|
|
|
|
|
// TODO: range doesn't actually restrict source, just highlight range
|
2021-08-12 09:00:42 +02:00
|
|
|
let highlights = match doc.syntax() {
|
2020-12-13 04:23:50 +01:00
|
|
|
Some(syntax) => {
|
2021-07-11 03:40:18 +02:00
|
|
|
let scopes = theme.scopes();
|
2021-03-13 03:06:02 +01:00
|
|
|
syntax
|
2021-07-11 03:40:18 +02:00
|
|
|
.highlight_iter(text.slice(..), Some(range), None, |language| {
|
2021-09-16 08:47:51 +02:00
|
|
|
loader.language_configuration_for_injection_string(language)
|
2021-08-30 02:15:49 +02:00
|
|
|
.and_then(|language_config| {
|
|
|
|
let config = language_config.highlight_config(scopes)?;
|
|
|
|
let config_ref = config.as_ref();
|
|
|
|
// SAFETY: the referenced `HighlightConfiguration` behind
|
|
|
|
// the `Arc` is guaranteed to remain valid throughout the
|
|
|
|
// duration of the highlight.
|
|
|
|
let config_ref = unsafe {
|
|
|
|
std::mem::transmute::<
|
|
|
|
_,
|
|
|
|
&'static syntax::HighlightConfiguration,
|
|
|
|
>(config_ref)
|
|
|
|
};
|
|
|
|
Some(config_ref)
|
|
|
|
})
|
2021-07-11 03:40:18 +02:00
|
|
|
})
|
2021-08-12 09:00:42 +02:00
|
|
|
.map(|event| event.unwrap())
|
2021-03-13 03:06:02 +01:00
|
|
|
.collect() // TODO: we collect here to avoid holding the lock, fix later
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
2021-08-12 09:00:42 +02:00
|
|
|
None => vec![HighlightEvent::Source {
|
2020-12-13 04:23:50 +01:00
|
|
|
start: range.start,
|
|
|
|
end: range.end,
|
2021-08-12 09:00:42 +02:00
|
|
|
}],
|
|
|
|
}
|
|
|
|
.into_iter()
|
|
|
|
.map(move |event| match event {
|
2021-06-25 06:01:08 +02:00
|
|
|
// convert byte offsets to char offset
|
|
|
|
HighlightEvent::Source { start, end } => {
|
2021-06-27 00:37:32 +02:00
|
|
|
let start = ensure_grapheme_boundary_next(text, text.byte_to_char(start));
|
|
|
|
let end = ensure_grapheme_boundary_next(text, text.byte_to_char(end));
|
2021-06-25 06:01:08 +02:00
|
|
|
HighlightEvent::Source { start, end }
|
|
|
|
}
|
|
|
|
event => event,
|
|
|
|
});
|
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
Box::new(highlights)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Get highlight spans for document diagnostics
|
|
|
|
pub fn doc_diagnostics_highlights(
|
|
|
|
doc: &Document,
|
|
|
|
theme: &Theme,
|
|
|
|
) -> Vec<(usize, std::ops::Range<usize>)> {
|
|
|
|
let diagnostic_scope = theme
|
|
|
|
.find_scope_index("diagnostic")
|
|
|
|
.or_else(|| theme.find_scope_index("ui.cursor"))
|
|
|
|
.or_else(|| theme.find_scope_index("ui.selection"))
|
2021-08-22 04:15:33 +02:00
|
|
|
.expect(
|
|
|
|
"at least one of the following scopes must be defined in the theme: `diagnostic`, `ui.cursor`, or `ui.selection`",
|
|
|
|
);
|
2021-08-12 09:00:42 +02:00
|
|
|
|
|
|
|
doc.diagnostics()
|
|
|
|
.iter()
|
|
|
|
.map(|diagnostic| {
|
|
|
|
(
|
|
|
|
diagnostic_scope,
|
|
|
|
diagnostic.range.start..diagnostic.range.end,
|
|
|
|
)
|
|
|
|
})
|
|
|
|
.collect()
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Get highlight spans for selections in a document view.
|
|
|
|
pub fn doc_selection_highlights(
|
|
|
|
doc: &Document,
|
|
|
|
view: &View,
|
|
|
|
theme: &Theme,
|
|
|
|
) -> Vec<(usize, std::ops::Range<usize>)> {
|
|
|
|
let text = doc.text().slice(..);
|
|
|
|
let selection = doc.selection(view.id);
|
|
|
|
let primary_idx = selection.primary_index();
|
2021-06-25 06:01:08 +02:00
|
|
|
|
|
|
|
let selection_scope = theme
|
|
|
|
.find_scope_index("ui.selection")
|
2021-08-22 04:15:33 +02:00
|
|
|
.expect("could not find `ui.selection` scope in the theme!");
|
2021-06-25 06:01:08 +02:00
|
|
|
let base_cursor_scope = theme
|
|
|
|
.find_scope_index("ui.cursor")
|
|
|
|
.unwrap_or(selection_scope);
|
|
|
|
|
|
|
|
let cursor_scope = match doc.mode() {
|
|
|
|
Mode::Insert => theme.find_scope_index("ui.cursor.insert"),
|
|
|
|
Mode::Select => theme.find_scope_index("ui.cursor.select"),
|
|
|
|
Mode::Normal => Some(base_cursor_scope),
|
|
|
|
}
|
|
|
|
.unwrap_or(base_cursor_scope);
|
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
let primary_cursor_scope = theme
|
|
|
|
.find_scope_index("ui.cursor.primary")
|
|
|
|
.unwrap_or(cursor_scope);
|
|
|
|
let primary_selection_scope = theme
|
|
|
|
.find_scope_index("ui.selection.primary")
|
|
|
|
.unwrap_or(selection_scope);
|
2021-06-25 06:01:08 +02:00
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
let mut spans: Vec<(usize, std::ops::Range<usize>)> = Vec::new();
|
|
|
|
for (i, range) in selection.iter().enumerate() {
|
|
|
|
let (cursor_scope, selection_scope) = if i == primary_idx {
|
|
|
|
(primary_cursor_scope, primary_selection_scope)
|
|
|
|
} else {
|
|
|
|
(cursor_scope, selection_scope)
|
|
|
|
};
|
2021-06-25 06:01:08 +02:00
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
// Special-case: cursor at end of the rope.
|
|
|
|
if range.head == range.anchor && range.head == text.len_chars() {
|
|
|
|
spans.push((cursor_scope, range.head..range.head + 1));
|
|
|
|
continue;
|
2021-06-25 06:01:08 +02:00
|
|
|
}
|
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
let range = range.min_width_1(text);
|
|
|
|
if range.head > range.anchor {
|
|
|
|
// Standard case.
|
|
|
|
let cursor_start = prev_grapheme_boundary(text, range.head);
|
|
|
|
spans.push((selection_scope, range.anchor..cursor_start));
|
|
|
|
spans.push((cursor_scope, cursor_start..range.head));
|
|
|
|
} else {
|
|
|
|
// Reverse case.
|
|
|
|
let cursor_end = next_grapheme_boundary(text, range.head);
|
|
|
|
spans.push((cursor_scope, range.head..cursor_end));
|
|
|
|
spans.push((selection_scope, cursor_end..range.anchor));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
spans
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn render_text_highlights<H: Iterator<Item = HighlightEvent>>(
|
|
|
|
doc: &Document,
|
|
|
|
offset: Position,
|
|
|
|
viewport: Rect,
|
|
|
|
surface: &mut Surface,
|
|
|
|
theme: &Theme,
|
|
|
|
highlights: H,
|
|
|
|
) {
|
|
|
|
let text = doc.text().slice(..);
|
2021-06-25 06:01:08 +02:00
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
let mut spans = Vec::new();
|
|
|
|
let mut visual_x = 0u16;
|
|
|
|
let mut line = 0u16;
|
|
|
|
let tab_width = doc.tab_width();
|
|
|
|
let tab = " ".repeat(tab_width);
|
2021-06-26 17:14:59 +02:00
|
|
|
|
2021-08-19 08:59:08 +02:00
|
|
|
let text_style = theme.get("ui.text");
|
|
|
|
|
2020-12-13 04:23:50 +01:00
|
|
|
'outer: for event in highlights {
|
2021-06-25 06:01:08 +02:00
|
|
|
match event {
|
|
|
|
HighlightEvent::HighlightStart(span) => {
|
2020-12-13 04:23:50 +01:00
|
|
|
spans.push(span);
|
|
|
|
}
|
|
|
|
HighlightEvent::HighlightEnd => {
|
|
|
|
spans.pop();
|
|
|
|
}
|
|
|
|
HighlightEvent::Source { start, end } => {
|
2021-07-02 08:36:09 +02:00
|
|
|
// `unwrap_or_else` part is for off-the-end indices of
|
|
|
|
// the rope, to allow cursor highlighting at the end
|
|
|
|
// of the rope.
|
|
|
|
let text = text.get_slice(start..end).unwrap_or_else(|| " ".into());
|
2020-12-13 04:23:50 +01:00
|
|
|
|
|
|
|
use helix_core::graphemes::{grapheme_width, RopeGraphemes};
|
|
|
|
|
2021-08-19 08:59:08 +02:00
|
|
|
let style = spans.iter().fold(text_style, |acc, span| {
|
2021-06-25 06:01:08 +02:00
|
|
|
let style = theme.get(theme.scopes()[span.0].as_str());
|
|
|
|
acc.patch(style)
|
|
|
|
});
|
2020-12-13 04:23:50 +01:00
|
|
|
|
2021-02-18 10:34:22 +01:00
|
|
|
for grapheme in RopeGraphemes::new(text) {
|
2021-08-12 09:00:42 +02:00
|
|
|
let out_of_bounds = visual_x < offset.col as u16
|
|
|
|
|| visual_x >= viewport.width + offset.col as u16;
|
2021-06-27 16:16:17 +02:00
|
|
|
|
2021-06-20 09:40:41 +02:00
|
|
|
if LineEnding::from_rope_slice(&grapheme).is_some() {
|
2021-06-25 06:01:08 +02:00
|
|
|
if !out_of_bounds {
|
|
|
|
// we still want to render an empty cell with the style
|
|
|
|
surface.set_string(
|
2021-08-12 09:00:42 +02:00
|
|
|
viewport.x + visual_x - offset.col as u16,
|
2021-06-25 06:01:08 +02:00
|
|
|
viewport.y + line,
|
|
|
|
" ",
|
|
|
|
style,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2020-12-13 04:23:50 +01:00
|
|
|
visual_x = 0;
|
|
|
|
line += 1;
|
|
|
|
|
|
|
|
// TODO: with proper iter this shouldn't be necessary
|
|
|
|
if line >= viewport.height {
|
|
|
|
break 'outer;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
let grapheme = Cow::from(grapheme);
|
|
|
|
|
2021-06-27 16:16:17 +02:00
|
|
|
let (grapheme, width) = if grapheme == "\t" {
|
|
|
|
// make sure we display tab as appropriate amount of spaces
|
|
|
|
(tab.as_str(), tab_width)
|
|
|
|
} else {
|
|
|
|
// Cow will prevent allocations if span contained in a single slice
|
|
|
|
// which should really be the majority case
|
|
|
|
let width = grapheme_width(&grapheme);
|
|
|
|
(grapheme.as_ref(), width)
|
|
|
|
};
|
|
|
|
|
|
|
|
if !out_of_bounds {
|
2021-04-09 11:48:56 +02:00
|
|
|
// if we're offscreen just keep going until we hit a new line
|
2021-06-27 16:16:17 +02:00
|
|
|
surface.set_string(
|
2021-08-12 09:00:42 +02:00
|
|
|
viewport.x + visual_x - offset.col as u16,
|
2021-06-27 16:16:17 +02:00
|
|
|
viewport.y + line,
|
|
|
|
grapheme,
|
|
|
|
style,
|
|
|
|
);
|
2021-04-09 11:48:56 +02:00
|
|
|
}
|
|
|
|
|
2021-06-27 16:16:17 +02:00
|
|
|
visual_x = visual_x.saturating_add(width as u16);
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-08-12 09:00:42 +02:00
|
|
|
}
|
|
|
|
|
2021-08-19 06:19:15 +02:00
|
|
|
/// Render brace match, etc (meant for the focused view only)
|
2021-08-12 09:00:42 +02:00
|
|
|
pub fn render_focused_view_elements(
|
|
|
|
view: &View,
|
|
|
|
doc: &Document,
|
|
|
|
viewport: Rect,
|
|
|
|
theme: &Theme,
|
|
|
|
surface: &mut Surface,
|
|
|
|
) {
|
2021-08-19 06:19:15 +02:00
|
|
|
// Highlight matching braces
|
|
|
|
if let Some(syntax) = doc.syntax() {
|
|
|
|
let text = doc.text().slice(..);
|
|
|
|
use helix_core::match_brackets;
|
|
|
|
let pos = doc.selection(view.id).primary().cursor(text);
|
|
|
|
|
|
|
|
let pos = match_brackets::find(syntax, doc.text(), pos)
|
|
|
|
.and_then(|pos| view.screen_coords_at_pos(doc, text, pos));
|
|
|
|
|
|
|
|
if let Some(pos) = pos {
|
|
|
|
// ensure col is on screen
|
|
|
|
if (pos.col as u16) < viewport.width + view.offset.col as u16
|
|
|
|
&& pos.col >= view.offset.col
|
|
|
|
{
|
|
|
|
let style = theme.try_get("ui.cursor.match").unwrap_or_else(|| {
|
|
|
|
Style::default()
|
|
|
|
.add_modifier(Modifier::REVERSED)
|
|
|
|
.add_modifier(Modifier::DIM)
|
|
|
|
});
|
2021-08-12 09:00:42 +02:00
|
|
|
|
2021-08-19 06:19:15 +02:00
|
|
|
surface
|
|
|
|
.get_mut(viewport.x + pos.col as u16, viewport.y + pos.row as u16)
|
|
|
|
.set_style(style);
|
2021-08-12 09:00:42 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2020-12-13 04:23:50 +01:00
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
#[allow(clippy::too_many_arguments)]
|
|
|
|
pub fn render_gutter(
|
|
|
|
doc: &Document,
|
|
|
|
view: &View,
|
|
|
|
viewport: Rect,
|
|
|
|
surface: &mut Surface,
|
|
|
|
theme: &Theme,
|
2021-08-19 06:19:15 +02:00
|
|
|
is_focused: bool,
|
2021-08-16 04:11:53 +02:00
|
|
|
config: &helix_view::editor::Config,
|
2021-08-12 09:00:42 +02:00
|
|
|
) {
|
|
|
|
let text = doc.text().slice(..);
|
|
|
|
let last_line = view.last_line(doc);
|
2021-06-14 16:01:17 +02:00
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
let linenr = theme.get("ui.linenr");
|
2021-08-19 06:19:15 +02:00
|
|
|
let linenr_select: Style = theme.try_get("ui.linenr.selected").unwrap_or(linenr);
|
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
let warning = theme.get("warning");
|
|
|
|
let error = theme.get("error");
|
|
|
|
let info = theme.get("info");
|
|
|
|
let hint = theme.get("hint");
|
2021-06-14 16:01:17 +02:00
|
|
|
|
2021-07-02 08:36:09 +02:00
|
|
|
// Whether to draw the line number for the last line of the
|
|
|
|
// document or not. We only draw it if it's not an empty line.
|
|
|
|
let draw_last = text.line_to_byte(last_line) < text.len_bytes();
|
|
|
|
|
2021-08-16 04:11:53 +02:00
|
|
|
let current_line = doc
|
|
|
|
.text()
|
2021-08-30 20:49:17 +02:00
|
|
|
.char_to_line(doc.selection(view.id).primary().cursor(text));
|
2021-08-19 06:19:15 +02:00
|
|
|
|
|
|
|
// it's used inside an iterator so the collect isn't needless:
|
|
|
|
// https://github.com/rust-lang/rust-clippy/issues/6164
|
2021-08-19 09:05:05 +02:00
|
|
|
#[allow(clippy::needless_collect)]
|
2021-08-19 06:19:15 +02:00
|
|
|
let cursors: Vec<_> = doc
|
|
|
|
.selection(view.id)
|
|
|
|
.iter()
|
|
|
|
.map(|range| range.cursor_line(text))
|
|
|
|
.collect();
|
|
|
|
|
2021-08-19 05:52:07 +02:00
|
|
|
for (i, line) in (view.offset.row..(last_line + 1)).enumerate() {
|
2021-06-14 16:01:17 +02:00
|
|
|
use helix_core::diagnostic::Severity;
|
|
|
|
if let Some(diagnostic) = doc.diagnostics().iter().find(|d| d.line == line) {
|
|
|
|
surface.set_stringn(
|
2021-08-19 06:19:15 +02:00
|
|
|
viewport.x,
|
2021-06-14 16:01:17 +02:00
|
|
|
viewport.y + i as u16,
|
|
|
|
"●",
|
|
|
|
1,
|
|
|
|
match diagnostic.severity {
|
|
|
|
Some(Severity::Error) => error,
|
|
|
|
Some(Severity::Warning) | None => warning,
|
|
|
|
Some(Severity::Info) => info,
|
|
|
|
Some(Severity::Hint) => hint,
|
|
|
|
},
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2021-08-19 06:19:15 +02:00
|
|
|
let selected = cursors.contains(&line);
|
|
|
|
|
|
|
|
let text = if line == last_line && !draw_last {
|
2021-07-02 08:36:09 +02:00
|
|
|
" ~".into()
|
|
|
|
} else {
|
2021-08-19 06:19:15 +02:00
|
|
|
let line = match config.line_number {
|
|
|
|
LineNumber::Absolute => line + 1,
|
2021-08-26 19:48:33 +02:00
|
|
|
LineNumber::Relative => {
|
|
|
|
if current_line == line {
|
|
|
|
line + 1
|
|
|
|
} else {
|
|
|
|
abs_diff(current_line, line)
|
|
|
|
}
|
|
|
|
}
|
2021-08-19 06:19:15 +02:00
|
|
|
};
|
|
|
|
format!("{:>5}", line)
|
2021-07-02 08:36:09 +02:00
|
|
|
};
|
2021-06-14 16:01:17 +02:00
|
|
|
surface.set_stringn(
|
2021-08-19 06:19:15 +02:00
|
|
|
viewport.x + 1,
|
2021-06-14 16:01:17 +02:00
|
|
|
viewport.y + i as u16,
|
2021-08-19 06:19:15 +02:00
|
|
|
text,
|
2021-06-14 16:01:17 +02:00
|
|
|
5,
|
2021-08-19 06:19:15 +02:00
|
|
|
if selected && is_focused {
|
|
|
|
linenr_select
|
|
|
|
} else {
|
|
|
|
linenr
|
|
|
|
},
|
2021-06-14 16:01:17 +02:00
|
|
|
);
|
|
|
|
}
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
|
2021-03-15 08:19:31 +01:00
|
|
|
pub fn render_diagnostics(
|
|
|
|
&self,
|
|
|
|
doc: &Document,
|
2021-03-31 10:17:01 +02:00
|
|
|
view: &View,
|
2021-03-15 08:19:31 +01:00
|
|
|
viewport: Rect,
|
|
|
|
surface: &mut Surface,
|
|
|
|
theme: &Theme,
|
|
|
|
) {
|
|
|
|
use helix_core::diagnostic::Severity;
|
|
|
|
use tui::{
|
|
|
|
layout::Alignment,
|
|
|
|
text::Text,
|
|
|
|
widgets::{Paragraph, Widget},
|
|
|
|
};
|
|
|
|
|
2021-07-26 17:40:30 +02:00
|
|
|
let cursor = doc
|
|
|
|
.selection(view.id)
|
|
|
|
.primary()
|
|
|
|
.cursor(doc.text().slice(..));
|
2021-03-15 08:19:31 +01:00
|
|
|
|
2021-06-06 11:59:32 +02:00
|
|
|
let diagnostics = doc.diagnostics().iter().filter(|diagnostic| {
|
2021-03-15 08:19:31 +01:00
|
|
|
diagnostic.range.start <= cursor && diagnostic.range.end >= cursor
|
|
|
|
});
|
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
let warning = theme.get("warning");
|
|
|
|
let error = theme.get("error");
|
|
|
|
let info = theme.get("info");
|
|
|
|
let hint = theme.get("hint");
|
2021-03-15 08:19:31 +01:00
|
|
|
|
|
|
|
// Vec::with_capacity(diagnostics.len()); // rough estimate
|
|
|
|
let mut lines = Vec::new();
|
|
|
|
for diagnostic in diagnostics {
|
|
|
|
let text = Text::styled(
|
|
|
|
&diagnostic.message,
|
|
|
|
match diagnostic.severity {
|
|
|
|
Some(Severity::Error) => error,
|
|
|
|
Some(Severity::Warning) | None => warning,
|
|
|
|
Some(Severity::Info) => info,
|
|
|
|
Some(Severity::Hint) => hint,
|
|
|
|
},
|
|
|
|
);
|
|
|
|
lines.extend(text.lines);
|
|
|
|
}
|
|
|
|
|
|
|
|
let paragraph = Paragraph::new(lines).alignment(Alignment::Right);
|
2021-03-15 08:25:04 +01:00
|
|
|
let width = 80.min(viewport.width);
|
|
|
|
let height = 15.min(viewport.height);
|
2021-03-15 08:19:31 +01:00
|
|
|
paragraph.render(
|
2021-08-21 07:21:20 +02:00
|
|
|
Rect::new(viewport.right() - width, viewport.y + 1, width, height),
|
2021-03-15 08:19:31 +01:00
|
|
|
surface,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2021-06-20 21:31:45 +02:00
|
|
|
#[allow(clippy::too_many_arguments)]
|
2020-12-13 04:23:50 +01:00
|
|
|
pub fn render_statusline(
|
|
|
|
&self,
|
2021-02-03 11:36:54 +01:00
|
|
|
doc: &Document,
|
2021-04-09 10:56:31 +02:00
|
|
|
view: &View,
|
2020-12-13 04:23:50 +01:00
|
|
|
viewport: Rect,
|
|
|
|
surface: &mut Surface,
|
|
|
|
theme: &Theme,
|
2021-02-04 08:49:55 +01:00
|
|
|
is_focused: bool,
|
2020-12-13 04:23:50 +01:00
|
|
|
) {
|
2021-10-27 05:24:24 +02:00
|
|
|
use tui::text::{Span, Spans};
|
|
|
|
|
2021-06-14 01:35:05 +02:00
|
|
|
//-------------------------------
|
|
|
|
// Left side of the status line.
|
|
|
|
//-------------------------------
|
|
|
|
|
2021-02-03 11:36:54 +01:00
|
|
|
let mode = match doc.mode() {
|
2020-12-13 04:23:50 +01:00
|
|
|
Mode::Insert => "INS",
|
2021-03-01 06:31:34 +01:00
|
|
|
Mode::Select => "SEL",
|
2020-12-13 04:23:50 +01:00
|
|
|
Mode::Normal => "NOR",
|
|
|
|
};
|
2021-06-20 21:31:45 +02:00
|
|
|
let progress = doc
|
|
|
|
.language_server()
|
|
|
|
.and_then(|srv| {
|
|
|
|
self.spinners
|
|
|
|
.get(srv.id())
|
|
|
|
.and_then(|spinner| spinner.frame())
|
|
|
|
})
|
|
|
|
.unwrap_or("");
|
|
|
|
|
2021-10-27 05:24:24 +02:00
|
|
|
let base_style = if is_focused {
|
2021-06-18 20:22:15 +02:00
|
|
|
theme.get("ui.statusline")
|
2021-02-04 09:24:33 +01:00
|
|
|
} else {
|
2021-06-18 20:22:15 +02:00
|
|
|
theme.get("ui.statusline.inactive")
|
2021-02-04 09:24:33 +01:00
|
|
|
};
|
2020-12-13 04:23:50 +01:00
|
|
|
// statusline
|
2021-10-27 05:24:24 +02:00
|
|
|
surface.set_style(viewport.with_height(1), base_style);
|
2021-02-04 09:24:33 +01:00
|
|
|
if is_focused {
|
2021-10-27 05:24:24 +02:00
|
|
|
surface.set_string(viewport.x + 1, viewport.y, mode, base_style);
|
2021-02-04 09:24:33 +01:00
|
|
|
}
|
2021-10-27 05:24:24 +02:00
|
|
|
surface.set_string(viewport.x + 5, viewport.y, progress, base_style);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
2021-11-13 21:44:51 +01:00
|
|
|
let rel_path = doc.relative_path();
|
|
|
|
let path = rel_path
|
|
|
|
.as_ref()
|
|
|
|
.map(|p| p.to_string_lossy())
|
|
|
|
.unwrap_or_else(|| SCRATCH_BUFFER_NAME.into());
|
|
|
|
|
|
|
|
let title = format!("{}{}", path, if doc.is_modified() { "[+]" } else { "" });
|
|
|
|
surface.set_stringn(
|
|
|
|
viewport.x + 8,
|
|
|
|
viewport.y,
|
|
|
|
title,
|
|
|
|
viewport.width.saturating_sub(6) as usize,
|
|
|
|
base_style,
|
|
|
|
);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
2021-06-14 01:35:05 +02:00
|
|
|
//-------------------------------
|
|
|
|
// Right side of the status line.
|
|
|
|
//-------------------------------
|
|
|
|
|
2021-10-27 05:24:24 +02:00
|
|
|
let mut right_side_text = Spans::default();
|
|
|
|
|
|
|
|
// Compute the individual info strings and add them to `right_side_text`.
|
|
|
|
|
|
|
|
// Diagnostics
|
|
|
|
let diags = doc.diagnostics().iter().fold((0, 0), |mut counts, diag| {
|
|
|
|
use helix_core::diagnostic::Severity;
|
|
|
|
match diag.severity {
|
|
|
|
Some(Severity::Warning) => counts.0 += 1,
|
|
|
|
Some(Severity::Error) | None => counts.1 += 1,
|
|
|
|
_ => {}
|
|
|
|
}
|
|
|
|
counts
|
|
|
|
});
|
|
|
|
let (warnings, errors) = diags;
|
|
|
|
let warning_style = theme.get("warning");
|
|
|
|
let error_style = theme.get("error");
|
|
|
|
for i in 0..2 {
|
|
|
|
let (count, style) = match i {
|
|
|
|
0 => (warnings, warning_style),
|
|
|
|
1 => (errors, error_style),
|
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
|
|
|
if count == 0 {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
let style = base_style.patch(style);
|
|
|
|
right_side_text.0.push(Span::styled("●", style));
|
|
|
|
right_side_text
|
|
|
|
.0
|
|
|
|
.push(Span::styled(format!(" {} ", count), base_style));
|
|
|
|
}
|
|
|
|
|
|
|
|
// Selections
|
|
|
|
let sels_count = doc.selection(view.id).len();
|
|
|
|
right_side_text.0.push(Span::styled(
|
|
|
|
format!(
|
|
|
|
" {} sel{} ",
|
|
|
|
sels_count,
|
|
|
|
if sels_count == 1 { "" } else { "s" }
|
|
|
|
),
|
|
|
|
base_style,
|
|
|
|
));
|
|
|
|
|
2021-06-14 04:44:25 +02:00
|
|
|
// let indent_info = match doc.indent_style {
|
|
|
|
// IndentStyle::Tabs => "tabs",
|
|
|
|
// IndentStyle::Spaces(1) => "spaces:1",
|
|
|
|
// IndentStyle::Spaces(2) => "spaces:2",
|
|
|
|
// IndentStyle::Spaces(3) => "spaces:3",
|
|
|
|
// IndentStyle::Spaces(4) => "spaces:4",
|
|
|
|
// IndentStyle::Spaces(5) => "spaces:5",
|
|
|
|
// IndentStyle::Spaces(6) => "spaces:6",
|
|
|
|
// IndentStyle::Spaces(7) => "spaces:7",
|
|
|
|
// IndentStyle::Spaces(8) => "spaces:8",
|
|
|
|
// _ => "indent:ERROR",
|
|
|
|
// };
|
2021-04-09 10:56:31 +02:00
|
|
|
|
2021-10-27 05:24:24 +02:00
|
|
|
// Position
|
|
|
|
let pos = coords_at_pos(
|
|
|
|
doc.text().slice(..),
|
|
|
|
doc.selection(view.id)
|
|
|
|
.primary()
|
|
|
|
.cursor(doc.text().slice(..)),
|
2021-06-14 01:35:05 +02:00
|
|
|
);
|
2021-10-27 05:24:24 +02:00
|
|
|
right_side_text.0.push(Span::styled(
|
|
|
|
format!(" {}:{} ", pos.row + 1, pos.col + 1), // Convert to 1-indexing.
|
|
|
|
base_style,
|
|
|
|
));
|
|
|
|
|
|
|
|
// Render to the statusline.
|
|
|
|
surface.set_spans(
|
|
|
|
viewport.x
|
|
|
|
+ viewport
|
|
|
|
.width
|
|
|
|
.saturating_sub(right_side_text.width() as u16),
|
2021-04-09 10:56:31 +02:00
|
|
|
viewport.y,
|
2021-10-27 05:24:24 +02:00
|
|
|
&right_side_text,
|
|
|
|
right_side_text.width() as u16,
|
2020-12-13 04:23:50 +01:00
|
|
|
);
|
|
|
|
}
|
2021-03-30 11:19:27 +02:00
|
|
|
|
2021-07-26 18:07:13 +02:00
|
|
|
/// Handle events by looking them up in `self.keymaps`. Returns None
|
|
|
|
/// if event was handled (a command was executed or a subkeymap was
|
2021-09-05 05:55:13 +02:00
|
|
|
/// activated). Only KeymapResultKind::{NotFound, Cancelled} is returned
|
2021-07-26 18:07:13 +02:00
|
|
|
/// otherwise.
|
|
|
|
fn handle_keymap_event(
|
|
|
|
&mut self,
|
|
|
|
mode: Mode,
|
|
|
|
cxt: &mut commands::Context,
|
|
|
|
event: KeyEvent,
|
|
|
|
) -> Option<KeymapResult> {
|
|
|
|
self.autoinfo = None;
|
2021-09-05 05:55:13 +02:00
|
|
|
let key_result = self.keymaps.get_mut(&mode).unwrap().get(event);
|
|
|
|
self.autoinfo = key_result.sticky.map(|node| node.infobox());
|
|
|
|
|
|
|
|
match &key_result.kind {
|
|
|
|
KeymapResultKind::Matched(command) => command.execute(cxt),
|
|
|
|
KeymapResultKind::Pending(node) => self.autoinfo = Some(node.infobox()),
|
2021-11-11 05:44:50 +01:00
|
|
|
KeymapResultKind::MatchedSequence(commands) => {
|
|
|
|
for command in commands {
|
|
|
|
command.execute(cxt);
|
|
|
|
}
|
|
|
|
}
|
2021-09-05 05:55:13 +02:00
|
|
|
KeymapResultKind::NotFound | KeymapResultKind::Cancelled(_) => return Some(key_result),
|
2021-03-30 11:19:27 +02:00
|
|
|
}
|
2021-07-26 18:07:13 +02:00
|
|
|
None
|
2021-03-30 11:19:27 +02:00
|
|
|
}
|
|
|
|
|
2021-07-26 18:07:13 +02:00
|
|
|
fn insert_mode(&mut self, cx: &mut commands::Context, event: KeyEvent) {
|
|
|
|
if let Some(keyresult) = self.handle_keymap_event(Mode::Insert, cx, event) {
|
2021-09-05 05:55:13 +02:00
|
|
|
match keyresult.kind {
|
|
|
|
KeymapResultKind::NotFound => {
|
2021-07-26 18:07:13 +02:00
|
|
|
if let Some(ch) = event.char() {
|
|
|
|
commands::insert::insert_char(cx, ch)
|
|
|
|
}
|
|
|
|
}
|
2021-09-05 05:55:13 +02:00
|
|
|
KeymapResultKind::Cancelled(pending) => {
|
2021-07-26 18:07:13 +02:00
|
|
|
for ev in pending {
|
|
|
|
match ev.char() {
|
|
|
|
Some(ch) => commands::insert::insert_char(cx, ch),
|
|
|
|
None => {
|
2021-09-05 05:55:13 +02:00
|
|
|
if let KeymapResultKind::Matched(command) =
|
|
|
|
self.keymaps.get_mut(&Mode::Insert).unwrap().get(ev).kind
|
2021-07-26 18:07:13 +02:00
|
|
|
{
|
|
|
|
command.execute(cx);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => unreachable!(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn command_mode(&mut self, mode: Mode, cxt: &mut commands::Context, event: KeyEvent) {
|
2021-03-30 11:19:27 +02:00
|
|
|
match event {
|
|
|
|
// count handling
|
|
|
|
key!(i @ '0'..='9') => {
|
|
|
|
let i = i.to_digit(10).unwrap() as usize;
|
2021-06-08 05:24:27 +02:00
|
|
|
cxt.editor.count =
|
|
|
|
std::num::NonZeroUsize::new(cxt.editor.count.map_or(i, |c| c.get() * 10 + i));
|
2021-03-30 11:19:27 +02:00
|
|
|
}
|
|
|
|
// special handling for repeat operator
|
|
|
|
key!('.') => {
|
|
|
|
// first execute whatever put us into insert mode
|
2021-06-17 13:08:05 +02:00
|
|
|
self.last_insert.0.execute(cxt);
|
2021-03-30 11:19:27 +02:00
|
|
|
// then replay the inputs
|
2021-07-26 18:07:13 +02:00
|
|
|
for &key in &self.last_insert.1.clone() {
|
|
|
|
self.insert_mode(cxt, key)
|
2021-03-30 11:19:27 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => {
|
|
|
|
// set the count
|
2021-07-28 06:57:07 +02:00
|
|
|
cxt.count = cxt.editor.count;
|
2021-03-30 11:19:27 +02:00
|
|
|
// TODO: edge case: 0j -> reset to 1
|
|
|
|
// if this fails, count was Some(0)
|
|
|
|
// debug_assert!(cxt.count != 0);
|
|
|
|
|
2021-06-05 04:21:31 +02:00
|
|
|
// set the register
|
2021-09-08 07:52:09 +02:00
|
|
|
cxt.register = cxt.editor.selected_register.take();
|
2021-06-05 04:21:31 +02:00
|
|
|
|
2021-07-26 18:07:13 +02:00
|
|
|
self.handle_keymap_event(mode, cxt, event);
|
2021-07-28 06:57:07 +02:00
|
|
|
if self.keymaps.pending().is_empty() {
|
|
|
|
cxt.editor.count = None
|
|
|
|
}
|
2021-03-30 11:19:27 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-04-05 11:23:37 +02:00
|
|
|
|
|
|
|
pub fn set_completion(
|
|
|
|
&mut self,
|
2021-10-25 04:03:18 +02:00
|
|
|
editor: &mut Editor,
|
2021-04-05 11:23:37 +02:00
|
|
|
items: Vec<helix_lsp::lsp::CompletionItem>,
|
2021-04-14 08:30:15 +02:00
|
|
|
offset_encoding: helix_lsp::OffsetEncoding,
|
2021-08-27 03:44:12 +02:00
|
|
|
start_offset: usize,
|
2021-04-05 11:23:37 +02:00
|
|
|
trigger_offset: usize,
|
|
|
|
size: Rect,
|
|
|
|
) {
|
2021-08-27 03:44:12 +02:00
|
|
|
let mut completion =
|
|
|
|
Completion::new(editor, items, offset_encoding, start_offset, trigger_offset);
|
2021-10-07 03:37:35 +02:00
|
|
|
|
|
|
|
if completion.is_empty() {
|
|
|
|
// skip if we got no completion results
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2021-10-25 04:03:18 +02:00
|
|
|
// Immediately initialize a savepoint
|
|
|
|
doc_mut!(editor).savepoint();
|
|
|
|
|
2021-04-05 11:23:37 +02:00
|
|
|
// TODO : propagate required size on resize to completion too
|
|
|
|
completion.required_size((size.width, size.height));
|
|
|
|
self.completion = Some(completion);
|
|
|
|
}
|
2021-10-29 09:48:25 +02:00
|
|
|
|
|
|
|
pub fn clear_completion(&mut self, editor: &mut Editor) {
|
|
|
|
self.completion = None;
|
|
|
|
// Clear any savepoints
|
|
|
|
let (_, doc) = current!(editor);
|
|
|
|
doc.savepoint = None;
|
|
|
|
editor.clear_idle_timer(); // don't retrigger
|
|
|
|
}
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
|
2021-08-10 07:35:20 +02:00
|
|
|
impl EditorView {
|
|
|
|
fn handle_mouse_event(
|
|
|
|
&mut self,
|
|
|
|
event: MouseEvent,
|
|
|
|
cxt: &mut commands::Context,
|
|
|
|
) -> EventResult {
|
|
|
|
match event {
|
|
|
|
MouseEvent {
|
|
|
|
kind: MouseEventKind::Down(MouseButton::Left),
|
|
|
|
row,
|
|
|
|
column,
|
|
|
|
modifiers,
|
|
|
|
..
|
|
|
|
} => {
|
|
|
|
let editor = &mut cxt.editor;
|
|
|
|
|
|
|
|
let result = editor.tree.views().find_map(|(view, _focus)| {
|
2021-11-04 05:43:45 +01:00
|
|
|
view.pos_at_screen_coords(&editor.documents[&view.doc], row, column)
|
2021-08-10 07:35:20 +02:00
|
|
|
.map(|pos| (pos, view.id))
|
|
|
|
});
|
|
|
|
|
|
|
|
if let Some((pos, view_id)) = result {
|
2021-11-04 05:43:45 +01:00
|
|
|
let doc = editor.document_mut(editor.tree.get(view_id).doc).unwrap();
|
2021-08-10 07:35:20 +02:00
|
|
|
|
|
|
|
if modifiers == crossterm::event::KeyModifiers::ALT {
|
|
|
|
let selection = doc.selection(view_id).clone();
|
|
|
|
doc.set_selection(view_id, selection.push(Range::point(pos)));
|
|
|
|
} else {
|
|
|
|
doc.set_selection(view_id, Selection::point(pos));
|
|
|
|
}
|
|
|
|
|
|
|
|
editor.tree.focus = view_id;
|
|
|
|
|
|
|
|
return EventResult::Consumed(None);
|
|
|
|
}
|
|
|
|
|
|
|
|
EventResult::Ignored
|
|
|
|
}
|
|
|
|
|
|
|
|
MouseEvent {
|
|
|
|
kind: MouseEventKind::Drag(MouseButton::Left),
|
|
|
|
row,
|
|
|
|
column,
|
|
|
|
..
|
|
|
|
} => {
|
|
|
|
let (view, doc) = current!(cxt.editor);
|
|
|
|
|
|
|
|
let pos = match view.pos_at_screen_coords(doc, row, column) {
|
|
|
|
Some(pos) => pos,
|
|
|
|
None => return EventResult::Ignored,
|
|
|
|
};
|
|
|
|
|
|
|
|
let mut selection = doc.selection(view.id).clone();
|
|
|
|
let primary = selection.primary_mut();
|
|
|
|
*primary = Range::new(primary.anchor, pos);
|
|
|
|
doc.set_selection(view.id, selection);
|
|
|
|
EventResult::Consumed(None)
|
|
|
|
}
|
|
|
|
|
|
|
|
MouseEvent {
|
|
|
|
kind: MouseEventKind::ScrollUp | MouseEventKind::ScrollDown,
|
|
|
|
row,
|
|
|
|
column,
|
|
|
|
..
|
|
|
|
} => {
|
|
|
|
let current_view = cxt.editor.tree.focus;
|
|
|
|
|
|
|
|
let direction = match event.kind {
|
|
|
|
MouseEventKind::ScrollUp => Direction::Backward,
|
|
|
|
MouseEventKind::ScrollDown => Direction::Forward,
|
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
|
|
|
|
|
|
|
let result = cxt.editor.tree.views().find_map(|(view, _focus)| {
|
2021-11-04 05:43:45 +01:00
|
|
|
view.pos_at_screen_coords(&cxt.editor.documents[&view.doc], row, column)
|
2021-08-10 07:35:20 +02:00
|
|
|
.map(|_| view.id)
|
|
|
|
});
|
|
|
|
|
|
|
|
match result {
|
|
|
|
Some(view_id) => cxt.editor.tree.focus = view_id,
|
|
|
|
None => return EventResult::Ignored,
|
|
|
|
}
|
|
|
|
|
|
|
|
let offset = cxt.editor.config.scroll_lines.abs() as usize;
|
|
|
|
commands::scroll(cxt, offset, direction);
|
|
|
|
|
|
|
|
cxt.editor.tree.focus = current_view;
|
|
|
|
|
|
|
|
EventResult::Consumed(None)
|
|
|
|
}
|
2021-08-12 04:53:48 +02:00
|
|
|
|
|
|
|
MouseEvent {
|
|
|
|
kind: MouseEventKind::Up(MouseButton::Left),
|
|
|
|
..
|
|
|
|
} => {
|
|
|
|
if !cxt.editor.config.middle_click_paste {
|
|
|
|
return EventResult::Ignored;
|
|
|
|
}
|
|
|
|
|
|
|
|
let (view, doc) = current!(cxt.editor);
|
|
|
|
let range = doc.selection(view.id).primary();
|
|
|
|
|
|
|
|
if range.to() - range.from() <= 1 {
|
|
|
|
return EventResult::Ignored;
|
|
|
|
}
|
|
|
|
|
|
|
|
commands::Command::yank_main_selection_to_primary_clipboard.execute(cxt);
|
|
|
|
|
|
|
|
EventResult::Consumed(None)
|
|
|
|
}
|
|
|
|
|
|
|
|
MouseEvent {
|
|
|
|
kind: MouseEventKind::Up(MouseButton::Middle),
|
|
|
|
row,
|
|
|
|
column,
|
|
|
|
modifiers,
|
|
|
|
..
|
|
|
|
} => {
|
|
|
|
let editor = &mut cxt.editor;
|
|
|
|
if !editor.config.middle_click_paste {
|
|
|
|
return EventResult::Ignored;
|
|
|
|
}
|
|
|
|
|
|
|
|
if modifiers == crossterm::event::KeyModifiers::ALT {
|
|
|
|
commands::Command::replace_selections_with_primary_clipboard.execute(cxt);
|
|
|
|
|
|
|
|
return EventResult::Consumed(None);
|
|
|
|
}
|
|
|
|
|
|
|
|
let result = editor.tree.views().find_map(|(view, _focus)| {
|
2021-11-04 05:43:45 +01:00
|
|
|
view.pos_at_screen_coords(&editor.documents[&view.doc], row, column)
|
2021-08-12 04:53:48 +02:00
|
|
|
.map(|pos| (pos, view.id))
|
|
|
|
});
|
|
|
|
|
|
|
|
if let Some((pos, view_id)) = result {
|
2021-11-04 05:43:45 +01:00
|
|
|
let doc = editor.document_mut(editor.tree.get(view_id).doc).unwrap();
|
2021-08-12 04:53:48 +02:00
|
|
|
doc.set_selection(view_id, Selection::point(pos));
|
|
|
|
editor.tree.focus = view_id;
|
|
|
|
commands::Command::paste_primary_clipboard_before.execute(cxt);
|
|
|
|
return EventResult::Consumed(None);
|
|
|
|
}
|
|
|
|
|
|
|
|
EventResult::Ignored
|
|
|
|
}
|
|
|
|
|
2021-08-10 07:35:20 +02:00
|
|
|
_ => EventResult::Ignored,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-12-13 04:23:50 +01:00
|
|
|
impl Component for EditorView {
|
|
|
|
fn handle_event(&mut self, event: Event, cx: &mut Context) -> EventResult {
|
2021-08-10 07:35:20 +02:00
|
|
|
let mut cxt = commands::Context {
|
|
|
|
editor: &mut cx.editor,
|
|
|
|
count: None,
|
2021-09-08 07:52:09 +02:00
|
|
|
register: None,
|
2021-08-10 07:35:20 +02:00
|
|
|
callback: None,
|
|
|
|
on_next_key_callback: None,
|
|
|
|
jobs: cx.jobs,
|
|
|
|
};
|
|
|
|
|
2020-12-13 04:23:50 +01:00
|
|
|
match event {
|
2021-08-10 03:58:37 +02:00
|
|
|
Event::Resize(_width, _height) => {
|
2021-06-09 08:46:13 +02:00
|
|
|
// Ignore this event, we handle resizing just before rendering to screen.
|
|
|
|
// Handling it here but not re-rendering will cause flashing
|
2020-12-13 04:23:50 +01:00
|
|
|
EventResult::Consumed(None)
|
|
|
|
}
|
2021-06-22 19:04:04 +02:00
|
|
|
Event::Key(key) => {
|
2021-08-22 08:28:45 +02:00
|
|
|
cxt.editor.reset_idle_timer();
|
2021-06-22 19:04:04 +02:00
|
|
|
let mut key = KeyEvent::from(key);
|
2021-06-03 15:26:24 +02:00
|
|
|
canonicalize_key(&mut key);
|
2021-05-07 07:19:58 +02:00
|
|
|
// clear status
|
2021-08-10 07:35:20 +02:00
|
|
|
cxt.editor.status_msg = None;
|
2021-05-07 07:19:58 +02:00
|
|
|
|
2021-08-10 07:35:20 +02:00
|
|
|
let (_, doc) = current!(cxt.editor);
|
2021-04-01 03:39:46 +02:00
|
|
|
let mode = doc.mode();
|
2021-01-21 08:55:46 +01:00
|
|
|
|
2021-03-11 02:44:38 +01:00
|
|
|
if let Some(on_next_key) = self.on_next_key.take() {
|
|
|
|
// if there's a command waiting input, do that first
|
2021-04-06 08:34:33 +02:00
|
|
|
on_next_key(&mut cxt, key);
|
2021-03-11 02:44:38 +01:00
|
|
|
} else {
|
|
|
|
match mode {
|
|
|
|
Mode::Insert => {
|
2021-03-30 11:19:27 +02:00
|
|
|
// record last_insert key
|
2021-06-03 15:26:24 +02:00
|
|
|
self.last_insert.1.push(key);
|
2021-04-05 11:23:37 +02:00
|
|
|
|
2021-04-06 08:34:33 +02:00
|
|
|
// let completion swallow the event if necessary
|
|
|
|
let mut consumed = false;
|
2021-04-05 11:23:37 +02:00
|
|
|
if let Some(completion) = &mut self.completion {
|
2021-04-06 08:34:33 +02:00
|
|
|
// use a fake context here
|
|
|
|
let mut cx = Context {
|
|
|
|
editor: cxt.editor,
|
2021-06-28 14:48:38 +02:00
|
|
|
jobs: cxt.jobs,
|
2021-04-06 08:34:33 +02:00
|
|
|
scroll: None,
|
|
|
|
};
|
|
|
|
let res = completion.handle_event(event, &mut cx);
|
|
|
|
|
|
|
|
if let EventResult::Consumed(callback) = res {
|
|
|
|
consumed = true;
|
|
|
|
|
|
|
|
if callback.is_some() {
|
|
|
|
// assume close_fn
|
2021-10-29 09:48:25 +02:00
|
|
|
self.clear_completion(cxt.editor);
|
2021-04-06 08:34:33 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// if completion didn't take the event, we pass it onto commands
|
|
|
|
if !consumed {
|
2021-06-03 15:26:24 +02:00
|
|
|
self.insert_mode(&mut cxt, key);
|
2021-04-06 08:34:33 +02:00
|
|
|
|
|
|
|
// lastly we recalculate completion
|
|
|
|
if let Some(completion) = &mut self.completion {
|
|
|
|
completion.update(&mut cxt);
|
|
|
|
if completion.is_empty() {
|
2021-10-29 09:48:25 +02:00
|
|
|
self.clear_completion(cxt.editor);
|
2021-04-06 08:34:33 +02:00
|
|
|
}
|
2021-04-05 11:23:37 +02:00
|
|
|
}
|
|
|
|
}
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
2021-06-03 15:26:24 +02:00
|
|
|
mode => self.command_mode(mode, &mut cxt, key),
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
2021-01-21 08:55:46 +01:00
|
|
|
}
|
2021-05-03 10:46:14 +02:00
|
|
|
|
2021-03-11 02:44:38 +01:00
|
|
|
self.on_next_key = cxt.on_next_key_callback.take();
|
2021-01-21 08:55:46 +01:00
|
|
|
// appease borrowck
|
|
|
|
let callback = cxt.callback.take();
|
2021-03-30 11:19:27 +02:00
|
|
|
|
2021-05-03 10:46:14 +02:00
|
|
|
// if the command consumed the last view, skip the render.
|
|
|
|
// on the next loop cycle the Application will then terminate.
|
2021-08-10 07:35:20 +02:00
|
|
|
if cxt.editor.should_close() {
|
2021-05-03 10:46:14 +02:00
|
|
|
return EventResult::Ignored;
|
|
|
|
}
|
|
|
|
|
2021-08-10 07:35:20 +02:00
|
|
|
let (view, doc) = current!(cxt.editor);
|
|
|
|
view.ensure_cursor_in_view(doc, cxt.editor.config.scrolloff);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
2021-05-29 03:37:47 +02:00
|
|
|
// mode transitions
|
|
|
|
match (mode, doc.mode()) {
|
|
|
|
(Mode::Normal, Mode::Insert) => {
|
|
|
|
// HAXX: if we just entered insert mode from normal, clear key buf
|
|
|
|
// and record the command that got us into this mode.
|
2021-03-30 11:19:27 +02:00
|
|
|
|
2021-05-29 03:37:47 +02:00
|
|
|
// how we entered insert mode is important, and we should track that so
|
|
|
|
// we can repeat the side effect.
|
2021-03-30 11:19:27 +02:00
|
|
|
|
2021-09-05 05:55:13 +02:00
|
|
|
self.last_insert.0 =
|
|
|
|
match self.keymaps.get_mut(&mode).unwrap().get(key).kind {
|
|
|
|
KeymapResultKind::Matched(command) => command,
|
|
|
|
// FIXME: insert mode can only be entered through single KeyCodes
|
|
|
|
_ => unimplemented!(),
|
|
|
|
};
|
2021-05-29 03:37:47 +02:00
|
|
|
self.last_insert.1.clear();
|
|
|
|
}
|
|
|
|
(Mode::Insert, Mode::Normal) => {
|
|
|
|
// if exiting insert mode, remove completion
|
|
|
|
self.completion = None;
|
|
|
|
}
|
|
|
|
_ => (),
|
|
|
|
}
|
2021-03-30 11:19:27 +02:00
|
|
|
|
2021-01-21 08:55:46 +01:00
|
|
|
EventResult::Consumed(callback)
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
2021-07-30 09:52:00 +02:00
|
|
|
|
2021-08-10 07:35:20 +02:00
|
|
|
Event::Mouse(event) => self.handle_mouse_event(event, &mut cxt),
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
fn render(&mut self, area: Rect, surface: &mut Surface, cx: &mut Context) {
|
2021-04-09 17:22:14 +02:00
|
|
|
// clear with background color
|
|
|
|
surface.set_style(area, cx.editor.theme.get("ui.background"));
|
|
|
|
|
2021-06-03 03:28:49 +02:00
|
|
|
// if the terminal size suddenly changed, we need to trigger a resize
|
2021-08-21 07:21:20 +02:00
|
|
|
cx.editor.resize(area.clip_bottom(1)); // -1 from bottom for commandline
|
2021-06-03 03:28:49 +02:00
|
|
|
|
2021-02-04 08:49:55 +01:00
|
|
|
for (view, is_focused) in cx.editor.tree.views() {
|
2021-03-23 09:47:40 +01:00
|
|
|
let doc = cx.editor.document(view.doc).unwrap();
|
2021-07-11 03:40:18 +02:00
|
|
|
let loader = &cx.editor.syn_loader;
|
|
|
|
self.render_view(
|
|
|
|
doc,
|
|
|
|
view,
|
|
|
|
area,
|
|
|
|
surface,
|
|
|
|
&cx.editor.theme,
|
|
|
|
is_focused,
|
|
|
|
loader,
|
2021-08-16 04:11:53 +02:00
|
|
|
&cx.editor.config,
|
2021-07-11 03:40:18 +02:00
|
|
|
);
|
2021-02-03 11:36:54 +01:00
|
|
|
}
|
2021-04-05 11:23:37 +02:00
|
|
|
|
2021-11-05 03:25:08 +01:00
|
|
|
if cx.editor.config.auto_info {
|
|
|
|
if let Some(ref mut info) = self.autoinfo {
|
|
|
|
info.render(area, surface, cx);
|
|
|
|
}
|
2021-06-19 17:54:37 +02:00
|
|
|
}
|
|
|
|
|
2021-07-28 06:57:07 +02:00
|
|
|
let key_width = 15u16; // for showing pending keys
|
|
|
|
let mut status_msg_width = 0;
|
|
|
|
|
2021-05-07 07:19:58 +02:00
|
|
|
// render status msg
|
|
|
|
if let Some((status_msg, severity)) = &cx.editor.status_msg {
|
2021-07-28 06:57:07 +02:00
|
|
|
status_msg_width = status_msg.width();
|
2021-05-07 07:19:58 +02:00
|
|
|
use helix_view::editor::Severity;
|
|
|
|
let style = if *severity == Severity::Error {
|
|
|
|
cx.editor.theme.get("error")
|
|
|
|
} else {
|
2021-05-07 10:38:25 +02:00
|
|
|
cx.editor.theme.get("ui.text")
|
2021-05-07 07:19:58 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
surface.set_string(
|
|
|
|
area.x,
|
|
|
|
area.y + area.height.saturating_sub(1),
|
|
|
|
status_msg,
|
|
|
|
style,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2021-07-28 06:57:07 +02:00
|
|
|
if area.width.saturating_sub(status_msg_width as u16) > key_width {
|
|
|
|
let mut disp = String::new();
|
|
|
|
if let Some(count) = cx.editor.count {
|
|
|
|
disp.push_str(&count.to_string())
|
|
|
|
}
|
|
|
|
for key in self.keymaps.pending() {
|
|
|
|
let s = key.to_string();
|
|
|
|
if s.graphemes(true).count() > 1 {
|
|
|
|
disp.push_str(&format!("<{}>", s));
|
|
|
|
} else {
|
|
|
|
disp.push_str(&s);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
surface.set_string(
|
|
|
|
area.x + area.width.saturating_sub(key_width),
|
|
|
|
area.y + area.height.saturating_sub(1),
|
|
|
|
disp.get(disp.len().saturating_sub(key_width as usize)..)
|
|
|
|
.unwrap_or(&disp),
|
|
|
|
cx.editor.theme.get("ui.text"),
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2021-08-12 09:00:42 +02:00
|
|
|
if let Some(completion) = self.completion.as_mut() {
|
2021-06-19 17:54:37 +02:00
|
|
|
completion.render(area, surface, cx);
|
2021-04-05 11:23:37 +02:00
|
|
|
}
|
2020-12-13 05:29:34 +01:00
|
|
|
}
|
|
|
|
|
2021-07-01 20:57:12 +02:00
|
|
|
fn cursor(&self, _area: Rect, editor: &Editor) -> (Option<Position>, CursorKind) {
|
2020-12-13 05:29:34 +01:00
|
|
|
// match view.doc.mode() {
|
|
|
|
// Mode::Insert => write!(stdout, "\x1B[6 q"),
|
|
|
|
// mode => write!(stdout, "\x1B[2 q"),
|
|
|
|
// };
|
2021-06-15 07:03:56 +02:00
|
|
|
editor.cursor()
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
}
|
2021-06-03 12:14:02 +02:00
|
|
|
|
2021-06-03 15:26:24 +02:00
|
|
|
fn canonicalize_key(key: &mut KeyEvent) {
|
2021-06-03 12:39:44 +02:00
|
|
|
if let KeyEvent {
|
|
|
|
code: KeyCode::Char(_),
|
|
|
|
modifiers: _,
|
|
|
|
} = key
|
|
|
|
{
|
|
|
|
key.modifiers.remove(KeyModifiers::SHIFT)
|
2021-06-03 12:14:02 +02:00
|
|
|
}
|
2021-06-03 12:39:44 +02:00
|
|
|
}
|
2021-08-16 04:11:53 +02:00
|
|
|
|
|
|
|
#[inline]
|
2021-10-24 10:28:29 +02:00
|
|
|
const fn abs_diff(a: usize, b: usize) -> usize {
|
2021-08-16 04:11:53 +02:00
|
|
|
if a > b {
|
|
|
|
a - b
|
|
|
|
} else {
|
|
|
|
b - a
|
|
|
|
}
|
|
|
|
}
|