2021-03-22 04:40:07 +01:00
|
|
|
use crate::{
|
|
|
|
commands,
|
|
|
|
compositor::{Component, Compositor, Context, EventResult},
|
2021-03-30 11:19:27 +02:00
|
|
|
key,
|
2021-03-22 04:40:07 +01:00
|
|
|
keymap::{self, Keymaps},
|
2021-05-07 10:38:25 +02:00
|
|
|
ui::Completion,
|
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-03-12 06:46:23 +01:00
|
|
|
syntax::{self, HighlightEvent},
|
2021-03-18 05:45:57 +01:00
|
|
|
Position, Range,
|
2021-03-12 06:46:23 +01:00
|
|
|
};
|
2021-06-17 13:08:05 +02:00
|
|
|
use helix_view::{document::Mode, Document, Editor, Theme, View};
|
2020-12-13 05:35:30 +01:00
|
|
|
use std::borrow::Cow;
|
|
|
|
|
2020-12-13 04:23:50 +01:00
|
|
|
use crossterm::{
|
|
|
|
cursor,
|
2021-02-09 08:39:17 +01:00
|
|
|
event::{read, Event, EventStream, KeyCode, KeyEvent, KeyModifiers},
|
2020-12-13 04:23:50 +01:00
|
|
|
};
|
|
|
|
use tui::{
|
|
|
|
backend::CrosstermBackend,
|
|
|
|
buffer::Buffer as Surface,
|
|
|
|
layout::Rect,
|
|
|
|
style::{Color, Modifier, Style},
|
2021-06-15 07:03:56 +02:00
|
|
|
terminal::CursorKind,
|
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-04-05 11:23:37 +02:00
|
|
|
completion: Option<Completion>,
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
|
2020-12-13 05:29:34 +01:00
|
|
|
const OFFSET: u16 = 7; // 1 diagnostic + 5 linenr + 1 gutter
|
|
|
|
|
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,
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
}
|
2021-03-29 08:04:29 +02:00
|
|
|
|
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,
|
2020-12-13 04:23:50 +01:00
|
|
|
) {
|
2021-02-03 11:36:54 +01:00
|
|
|
let area = Rect::new(
|
2021-04-08 09:54:55 +02:00
|
|
|
view.area.x + OFFSET,
|
|
|
|
view.area.y,
|
|
|
|
view.area.width - OFFSET,
|
|
|
|
view.area.height.saturating_sub(1),
|
2021-02-09 07:59:42 +01:00
|
|
|
); // - 1 for statusline
|
2021-04-09 17:21:13 +02:00
|
|
|
|
2021-03-31 16:42:16 +02:00
|
|
|
self.render_buffer(doc, view, area, surface, theme, is_focused);
|
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)
|
|
|
|
// .set_symbol(tui::symbols::line::VERTICAL)
|
|
|
|
.set_symbol(" ")
|
|
|
|
.set_style(border_style);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-31 16:42:16 +02:00
|
|
|
self.render_diagnostics(doc, view, area, surface, theme, is_focused);
|
2021-03-15 08:19:31 +01:00
|
|
|
|
2021-02-04 09:24:33 +01:00
|
|
|
let area = Rect::new(
|
2021-04-08 09:54:55 +02:00
|
|
|
view.area.x,
|
|
|
|
view.area.y + view.area.height.saturating_sub(1),
|
|
|
|
view.area.width,
|
2021-02-04 09:24:33 +01:00
|
|
|
1,
|
|
|
|
);
|
2021-04-09 10:56:31 +02:00
|
|
|
self.render_statusline(doc, view, area, surface, theme, is_focused);
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn render_buffer(
|
|
|
|
&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,
|
2020-12-13 04:23:50 +01:00
|
|
|
) {
|
2021-03-16 10:27:57 +01:00
|
|
|
let text = doc.text().slice(..);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
2021-03-23 09:47:40 +01:00
|
|
|
let last_line = view.last_line(doc);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
|
|
|
let range = {
|
|
|
|
// calculate viewport byte ranges
|
2021-02-05 08:06:48 +01:00
|
|
|
let start = text.line_to_byte(view.first_line);
|
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
|
|
|
|
// TODO: cache highlight results
|
|
|
|
// TODO: only recalculate when state.doc is actually modified
|
2021-03-16 10:27:57 +01:00
|
|
|
let highlights: Vec<_> = match doc.syntax() {
|
2020-12-13 04:23:50 +01:00
|
|
|
Some(syntax) => {
|
2021-03-13 03:06:02 +01:00
|
|
|
syntax
|
2021-03-16 05:45:32 +01:00
|
|
|
.highlight_iter(text.slice(..), Some(range), None, |_| None)
|
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
|
|
|
}
|
|
|
|
None => vec![Ok(HighlightEvent::Source {
|
|
|
|
start: range.start,
|
|
|
|
end: range.end,
|
|
|
|
})],
|
|
|
|
};
|
|
|
|
let mut spans = Vec::new();
|
|
|
|
let mut visual_x = 0;
|
|
|
|
let mut line = 0u16;
|
2021-03-16 10:27:57 +01:00
|
|
|
let tab_width = doc.tab_width();
|
2020-12-13 04:23:50 +01:00
|
|
|
|
|
|
|
'outer: for event in highlights {
|
|
|
|
match event.unwrap() {
|
|
|
|
HighlightEvent::HighlightStart(span) => {
|
|
|
|
spans.push(span);
|
|
|
|
}
|
|
|
|
HighlightEvent::HighlightEnd => {
|
|
|
|
spans.pop();
|
|
|
|
}
|
|
|
|
HighlightEvent::Source { start, end } => {
|
|
|
|
// TODO: filter out spans out of viewport for now..
|
|
|
|
|
2021-02-05 08:06:48 +01:00
|
|
|
// TODO: do these before iterating
|
|
|
|
let start = text.byte_to_char(start);
|
|
|
|
let end = text.byte_to_char(end);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
2021-02-05 08:06:48 +01:00
|
|
|
let text = text.slice(start..end);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
|
|
|
use helix_core::graphemes::{grapheme_width, RopeGraphemes};
|
|
|
|
|
2021-03-16 07:30:29 +01:00
|
|
|
// TODO: scope matching: biggest union match? [string] & [html, string], [string, html] & [ string, html]
|
|
|
|
// can do this by sorting our theme matches based on array len (longest first) then stopping at the
|
|
|
|
// first rule that matches (rule.all(|scope| scopes.contains(scope)))
|
2021-05-27 17:00:51 +02:00
|
|
|
// log::info!(
|
|
|
|
// "scopes: {:?}",
|
|
|
|
// spans
|
|
|
|
// .iter()
|
|
|
|
// .map(|span| theme.scopes()[span.0].as_str())
|
|
|
|
// .collect::<Vec<_>>()
|
|
|
|
// );
|
2020-12-13 04:23:50 +01:00
|
|
|
let style = match spans.first() {
|
|
|
|
Some(span) => theme.get(theme.scopes()[span.0].as_str()),
|
2021-05-07 10:38:25 +02:00
|
|
|
None => theme.get("ui.text"),
|
2020-12-13 04:23:50 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
// TODO: we could render the text to a surface, then cache that, that
|
|
|
|
// way if only the selection/cursor changes we can copy from cache
|
|
|
|
// and paint the new cursor.
|
2021-02-05 08:06:48 +01:00
|
|
|
// We could keep a single resizable surface on the View for that.
|
2020-12-13 04:23:50 +01:00
|
|
|
|
|
|
|
let mut char_index = start;
|
|
|
|
|
|
|
|
// iterate over range char by char
|
2021-02-18 10:34:22 +01:00
|
|
|
for grapheme in RopeGraphemes::new(text) {
|
2020-12-13 04:23:50 +01:00
|
|
|
if grapheme == "\n" {
|
|
|
|
visual_x = 0;
|
|
|
|
line += 1;
|
|
|
|
|
|
|
|
// TODO: with proper iter this shouldn't be necessary
|
|
|
|
if line >= viewport.height {
|
|
|
|
break 'outer;
|
|
|
|
}
|
|
|
|
} else if grapheme == "\t" {
|
2021-03-22 05:47:39 +01:00
|
|
|
visual_x += (tab_width as u16);
|
2020-12-13 04:23:50 +01:00
|
|
|
} else {
|
2021-04-09 11:48:56 +02:00
|
|
|
let out_of_bounds = visual_x < view.first_col as u16
|
|
|
|
|| visual_x >= viewport.width + view.first_col as u16;
|
2021-02-05 08:06:48 +01:00
|
|
|
|
2020-12-13 04:23:50 +01:00
|
|
|
// Cow will prevent allocations if span contained in a single slice
|
|
|
|
// which should really be the majority case
|
|
|
|
let grapheme = Cow::from(grapheme);
|
|
|
|
let width = grapheme_width(&grapheme) as u16;
|
|
|
|
|
2021-04-09 11:48:56 +02:00
|
|
|
if out_of_bounds {
|
|
|
|
// if we're offscreen just keep going until we hit a new line
|
|
|
|
visual_x += width;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2021-02-25 10:07:47 +01:00
|
|
|
// ugh,interleave highlight spans with diagnostic spans
|
2021-06-06 11:59:32 +02:00
|
|
|
let is_diagnostic = doc.diagnostics().iter().any(|diagnostic| {
|
2021-03-15 08:19:31 +01:00
|
|
|
diagnostic.range.start <= char_index
|
|
|
|
&& diagnostic.range.end > char_index
|
2021-01-08 08:31:19 +01:00
|
|
|
});
|
|
|
|
|
|
|
|
let style = if is_diagnostic {
|
2021-05-06 06:56:34 +02:00
|
|
|
style.add_modifier(Modifier::UNDERLINED)
|
2020-12-13 04:23:50 +01:00
|
|
|
} else {
|
|
|
|
style
|
|
|
|
};
|
|
|
|
|
2021-02-05 08:06:48 +01:00
|
|
|
surface.set_string(
|
2021-04-09 11:48:56 +02:00
|
|
|
viewport.x + visual_x - view.first_col as u16,
|
2021-02-05 08:06:48 +01:00
|
|
|
viewport.y + line,
|
|
|
|
grapheme,
|
|
|
|
style,
|
|
|
|
);
|
2020-12-13 04:23:50 +01:00
|
|
|
|
|
|
|
visual_x += width;
|
|
|
|
}
|
|
|
|
|
|
|
|
char_index += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-06-14 16:01:17 +02:00
|
|
|
// render gutters
|
|
|
|
|
|
|
|
let linenr: Style = theme.get("ui.linenr");
|
|
|
|
let warning: Style = theme.get("warning");
|
|
|
|
let error: Style = theme.get("error");
|
|
|
|
let info: Style = theme.get("info");
|
|
|
|
let hint: Style = theme.get("hint");
|
|
|
|
|
|
|
|
for (i, line) in (view.first_line..last_line).enumerate() {
|
|
|
|
use helix_core::diagnostic::Severity;
|
|
|
|
if let Some(diagnostic) = doc.diagnostics().iter().find(|d| d.line == line) {
|
|
|
|
surface.set_stringn(
|
|
|
|
viewport.x - OFFSET,
|
|
|
|
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,
|
|
|
|
},
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
// line numbers having selections are rendered differently
|
|
|
|
surface.set_stringn(
|
|
|
|
viewport.x + 1 - OFFSET,
|
|
|
|
viewport.y + i as u16,
|
|
|
|
format!("{:>5}", line + 1),
|
|
|
|
5,
|
|
|
|
linenr,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
// render selections and selected linenr(s)
|
|
|
|
let linenr_select: Style = theme
|
|
|
|
.try_get("ui.linenr.selected")
|
|
|
|
.unwrap_or_else(|| theme.get("ui.linenr"));
|
2021-02-17 06:41:14 +01:00
|
|
|
|
|
|
|
if is_focused {
|
|
|
|
let screen = {
|
|
|
|
let start = text.line_to_char(view.first_line);
|
|
|
|
let end = text.line_to_char(last_line + 1);
|
|
|
|
Range::new(start, end)
|
|
|
|
};
|
2021-03-03 09:56:22 +01:00
|
|
|
let cursor_style = Style::default()
|
|
|
|
// .bg(Color::Rgb(255, 255, 255))
|
|
|
|
.add_modifier(Modifier::REVERSED);
|
2021-02-17 06:41:14 +01:00
|
|
|
|
2021-06-14 12:11:05 +02:00
|
|
|
let selection_style = theme.get("ui.selection");
|
2021-02-17 06:41:14 +01:00
|
|
|
|
2021-03-23 09:47:40 +01:00
|
|
|
for selection in doc
|
2021-03-31 10:17:01 +02:00
|
|
|
.selection(view.id)
|
2021-02-17 06:41:14 +01:00
|
|
|
.iter()
|
2021-06-03 06:32:54 +02:00
|
|
|
.filter(|range| range.overlaps(&screen))
|
2021-02-17 06:41:14 +01:00
|
|
|
{
|
|
|
|
// TODO: render also if only one of the ranges is in viewport
|
2021-03-23 09:47:40 +01:00
|
|
|
let mut start = view.screen_coords_at_pos(doc, text, selection.anchor);
|
|
|
|
let mut end = view.screen_coords_at_pos(doc, text, selection.head);
|
2021-04-07 11:05:59 +02:00
|
|
|
|
2021-04-07 09:57:58 +02:00
|
|
|
let head = end;
|
2021-02-17 06:41:14 +01:00
|
|
|
|
|
|
|
if selection.head < selection.anchor {
|
|
|
|
std::mem::swap(&mut start, &mut end);
|
|
|
|
}
|
|
|
|
let start = start.unwrap_or_else(|| Position::new(0, 0));
|
|
|
|
let end = end.unwrap_or_else(|| {
|
|
|
|
Position::new(viewport.height as usize, viewport.width as usize)
|
|
|
|
});
|
|
|
|
|
|
|
|
if start.row == end.row {
|
|
|
|
surface.set_style(
|
|
|
|
Rect::new(
|
|
|
|
viewport.x + start.col as u16,
|
|
|
|
viewport.y + start.row as u16,
|
2021-06-06 21:32:14 +02:00
|
|
|
// .min is important, because set_style does a
|
|
|
|
// for i in area.left()..area.right() and
|
|
|
|
// area.right = x + width !!! which shouldn't be > then surface.area.right()
|
|
|
|
// This is checked by a debug_assert! in Buffer::index_of
|
|
|
|
((end.col - start.col) as u16 + 1).min(
|
|
|
|
surface
|
|
|
|
.area
|
|
|
|
.width
|
|
|
|
.saturating_sub(viewport.x + start.col as u16),
|
|
|
|
),
|
2021-02-17 06:41:14 +01:00
|
|
|
1,
|
|
|
|
),
|
|
|
|
selection_style,
|
|
|
|
);
|
|
|
|
} else {
|
|
|
|
surface.set_style(
|
|
|
|
Rect::new(
|
|
|
|
viewport.x + start.col as u16,
|
|
|
|
viewport.y + start.row as u16,
|
|
|
|
// text.line(view.first_line).len_chars() as u16 - start.col as u16,
|
2021-06-05 16:32:23 +02:00
|
|
|
viewport.width.saturating_sub(start.col as u16),
|
2021-02-17 06:41:14 +01:00
|
|
|
1,
|
|
|
|
),
|
|
|
|
selection_style,
|
|
|
|
);
|
|
|
|
for i in start.row + 1..end.row {
|
|
|
|
surface.set_style(
|
|
|
|
Rect::new(
|
|
|
|
viewport.x,
|
|
|
|
viewport.y + i as u16,
|
|
|
|
// text.line(view.first_line + i).len_chars() as u16,
|
|
|
|
viewport.width,
|
|
|
|
1,
|
|
|
|
),
|
|
|
|
selection_style,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
surface.set_style(
|
2021-06-06 21:32:14 +02:00
|
|
|
Rect::new(
|
|
|
|
viewport.x,
|
|
|
|
viewport.y + end.row as u16,
|
|
|
|
(end.col as u16).min(viewport.width),
|
|
|
|
1,
|
|
|
|
),
|
2021-02-17 06:41:14 +01:00
|
|
|
selection_style,
|
|
|
|
);
|
|
|
|
}
|
2021-04-07 11:05:59 +02:00
|
|
|
|
2021-04-07 09:57:58 +02:00
|
|
|
// cursor
|
|
|
|
if let Some(head) = head {
|
|
|
|
surface.set_style(
|
|
|
|
Rect::new(
|
|
|
|
viewport.x + head.col as u16,
|
|
|
|
viewport.y + head.row as u16,
|
|
|
|
1,
|
|
|
|
1,
|
|
|
|
),
|
|
|
|
cursor_style,
|
|
|
|
);
|
2021-06-14 16:01:17 +02:00
|
|
|
surface.set_stringn(
|
|
|
|
viewport.x + 1 - OFFSET,
|
|
|
|
viewport.y + head.row as u16,
|
|
|
|
format!("{:>5}", view.first_line + head.row + 1),
|
|
|
|
5,
|
|
|
|
linenr_select,
|
|
|
|
);
|
2021-06-03 19:46:32 +02:00
|
|
|
// TODO: set cursor position for IME
|
2021-06-03 11:03:46 +02:00
|
|
|
if let Some(syntax) = doc.syntax() {
|
|
|
|
use helix_core::match_brackets;
|
|
|
|
let pos = doc.selection(view.id).cursor();
|
|
|
|
let pos = match_brackets::find(syntax, doc.text(), pos);
|
|
|
|
if let Some(pos) = pos {
|
|
|
|
let pos = view.screen_coords_at_pos(doc, text, pos);
|
|
|
|
if let Some(pos) = pos {
|
2021-06-08 06:08:28 +02:00
|
|
|
if (pos.col as u16) < viewport.width + view.first_col as u16
|
|
|
|
&& pos.col >= view.first_col
|
|
|
|
{
|
|
|
|
let style = Style::default()
|
|
|
|
.add_modifier(Modifier::REVERSED)
|
|
|
|
.add_modifier(Modifier::DIM);
|
|
|
|
|
2021-06-03 19:46:32 +02:00
|
|
|
surface
|
2021-06-04 08:07:43 +02:00
|
|
|
.get_mut(
|
|
|
|
viewport.x + pos.col as u16,
|
|
|
|
viewport.y + pos.row as u16,
|
|
|
|
)
|
2021-06-03 19:46:32 +02:00
|
|
|
.set_style(style);
|
|
|
|
}
|
2021-06-03 11:03:46 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-04-07 09:57:58 +02:00
|
|
|
}
|
2021-02-17 06:41:14 +01: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,
|
|
|
|
is_focused: bool,
|
|
|
|
) {
|
|
|
|
use helix_core::diagnostic::Severity;
|
|
|
|
use tui::{
|
|
|
|
layout::Alignment,
|
|
|
|
text::Text,
|
|
|
|
widgets::{Paragraph, Widget},
|
|
|
|
};
|
|
|
|
|
2021-03-31 10:17:01 +02:00
|
|
|
let cursor = doc.selection(view.id).cursor();
|
2021-03-15 08:19:31 +01:00
|
|
|
let line = doc.text().char_to_line(cursor);
|
|
|
|
|
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
|
|
|
|
});
|
|
|
|
|
|
|
|
let warning: Style = theme.get("warning");
|
|
|
|
let error: Style = theme.get("error");
|
|
|
|
let info: Style = theme.get("info");
|
|
|
|
let hint: Style = theme.get("hint");
|
|
|
|
|
|
|
|
// 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(
|
|
|
|
Rect::new(
|
2021-03-15 08:25:04 +01:00
|
|
|
viewport.right() - width,
|
2021-03-15 08:19:31 +01:00
|
|
|
viewport.y as u16 + 1,
|
2021-03-15 08:25:04 +01:00
|
|
|
width,
|
|
|
|
height,
|
2021-03-15 08:19:31 +01:00
|
|
|
),
|
|
|
|
surface,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
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-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-02-04 09:24:33 +01:00
|
|
|
let text_color = if is_focused {
|
2021-05-07 10:38:25 +02:00
|
|
|
theme.get("ui.text.focus")
|
2021-02-04 09:24:33 +01:00
|
|
|
} else {
|
2021-05-07 10:38:25 +02:00
|
|
|
theme.get("ui.text")
|
2021-02-04 09:24:33 +01:00
|
|
|
};
|
2020-12-13 04:23:50 +01:00
|
|
|
// statusline
|
|
|
|
surface.set_style(
|
2021-02-03 11:36:54 +01:00
|
|
|
Rect::new(viewport.x, viewport.y, viewport.width, 1),
|
2020-12-13 04:23:50 +01:00
|
|
|
theme.get("ui.statusline"),
|
|
|
|
);
|
2021-02-04 09:24:33 +01:00
|
|
|
if is_focused {
|
|
|
|
surface.set_string(viewport.x + 1, viewport.y, mode, text_color);
|
|
|
|
}
|
2020-12-13 04:23:50 +01:00
|
|
|
|
2021-02-03 11:36:54 +01:00
|
|
|
if let Some(path) = doc.relative_path() {
|
2020-12-22 08:32:15 +01:00
|
|
|
let path = path.to_string_lossy();
|
2021-03-30 11:19:48 +02:00
|
|
|
|
2021-05-03 10:23:11 +02:00
|
|
|
let title = format!("{}{}", path, if doc.is_modified() { "[+]" } else { "" });
|
2021-02-05 06:42:56 +01:00
|
|
|
surface.set_stringn(
|
|
|
|
viewport.x + 6,
|
|
|
|
viewport.y,
|
2021-03-30 11:19:48 +02:00
|
|
|
title,
|
2021-02-05 06:42:56 +01:00
|
|
|
viewport.width.saturating_sub(6) as usize,
|
|
|
|
text_color,
|
|
|
|
);
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
|
2021-06-14 01:35:05 +02:00
|
|
|
//-------------------------------
|
|
|
|
// Right side of the status line.
|
|
|
|
//-------------------------------
|
|
|
|
|
|
|
|
// Compute the individual info strings.
|
|
|
|
let diag_count = format!("{}", doc.diagnostics().len());
|
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-06-14 01:35:05 +02:00
|
|
|
let position_info = {
|
|
|
|
let pos = coords_at_pos(doc.text().slice(..), doc.selection(view.id).cursor());
|
|
|
|
format!("{}:{}", pos.row + 1, pos.col + 1) // convert to 1-indexing
|
|
|
|
};
|
2021-04-09 10:56:31 +02:00
|
|
|
|
2021-06-14 01:35:05 +02:00
|
|
|
// Render them to the status line together.
|
|
|
|
let right_side_text = format!(
|
2021-06-14 04:44:25 +02:00
|
|
|
"{} {} ",
|
2021-06-14 01:35:05 +02:00
|
|
|
&diag_count[..diag_count.len().min(4)],
|
2021-06-14 04:44:25 +02:00
|
|
|
// indent_info,
|
2021-06-14 01:35:05 +02:00
|
|
|
position_info
|
|
|
|
);
|
|
|
|
let text_len = right_side_text.len() as u16;
|
2021-04-09 10:56:31 +02:00
|
|
|
surface.set_string(
|
2021-06-14 01:35:05 +02:00
|
|
|
viewport.x + viewport.width.saturating_sub(text_len),
|
2021-04-09 10:56:31 +02:00
|
|
|
viewport.y,
|
2021-06-14 01:35:05 +02:00
|
|
|
right_side_text,
|
2020-12-13 05:35:30 +01:00
|
|
|
text_color,
|
2020-12-13 04:23:50 +01:00
|
|
|
);
|
|
|
|
}
|
2021-03-30 11:19:27 +02:00
|
|
|
|
2021-04-05 11:23:37 +02:00
|
|
|
fn insert_mode(&self, cx: &mut commands::Context, event: KeyEvent) {
|
2021-06-17 13:08:05 +02:00
|
|
|
if let Some(command) = self.keymaps[&Mode::Insert].get(&event) {
|
|
|
|
command.execute(cx);
|
2021-03-30 11:19:27 +02:00
|
|
|
} else if let KeyEvent {
|
|
|
|
code: KeyCode::Char(ch),
|
|
|
|
..
|
|
|
|
} = event
|
|
|
|
{
|
2021-04-05 11:23:37 +02:00
|
|
|
commands::insert::insert_char(cx, ch);
|
2021-03-30 11:19:27 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn command_mode(&self, mode: Mode, cxt: &mut commands::Context, event: KeyEvent) {
|
|
|
|
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
|
|
|
|
for key in &self.last_insert.1 {
|
|
|
|
self.insert_mode(cxt, *key)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => {
|
|
|
|
// set the count
|
2021-06-15 06:29:03 +02:00
|
|
|
cxt.count = cxt.editor.count.take();
|
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-06-15 05:26:05 +02:00
|
|
|
cxt.selected_register = cxt.editor.selected_register.take();
|
2021-06-05 04:21:31 +02:00
|
|
|
|
2021-06-17 13:08:05 +02:00
|
|
|
if let Some(command) = self.keymaps[&mode].get(&event) {
|
|
|
|
command.execute(cxt);
|
2021-03-30 11:19:27 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-04-05 11:23:37 +02:00
|
|
|
|
|
|
|
pub fn set_completion(
|
|
|
|
&mut self,
|
|
|
|
items: Vec<helix_lsp::lsp::CompletionItem>,
|
2021-04-14 08:30:15 +02:00
|
|
|
offset_encoding: helix_lsp::OffsetEncoding,
|
2021-04-05 11:23:37 +02:00
|
|
|
trigger_offset: usize,
|
|
|
|
size: Rect,
|
|
|
|
) {
|
2021-04-14 08:30:15 +02:00
|
|
|
let mut completion = Completion::new(items, offset_encoding, trigger_offset);
|
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);
|
|
|
|
}
|
2020-12-13 04:23:50 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Component for EditorView {
|
|
|
|
fn handle_event(&mut self, event: Event, cx: &mut Context) -> EventResult {
|
|
|
|
match event {
|
|
|
|
Event::Resize(width, height) => {
|
2021-02-09 07:59:42 +01:00
|
|
|
// HAXX: offset the render area height by 1 to account for prompt/commandline
|
2021-03-23 09:47:40 +01:00
|
|
|
cx.editor.resize(Rect::new(0, 0, width, height - 1));
|
2020-12-13 04:23:50 +01:00
|
|
|
EventResult::Consumed(None)
|
|
|
|
}
|
2021-06-02 22:45:36 +02:00
|
|
|
Event::Key(mut key) => {
|
2021-06-03 15:26:24 +02:00
|
|
|
canonicalize_key(&mut key);
|
2021-05-07 07:19:58 +02:00
|
|
|
// clear status
|
|
|
|
cx.editor.status_msg = None;
|
|
|
|
|
2021-04-01 03:39:46 +02:00
|
|
|
let (view, doc) = cx.editor.current();
|
|
|
|
let mode = doc.mode();
|
2021-01-21 08:55:46 +01:00
|
|
|
|
|
|
|
let mut cxt = commands::Context {
|
2021-06-15 05:26:05 +02:00
|
|
|
selected_register: helix_view::RegisterSelection::default(),
|
2021-06-05 04:21:31 +02:00
|
|
|
editor: &mut cx.editor,
|
2021-06-15 06:29:03 +02:00
|
|
|
count: None,
|
2021-01-21 08:55:46 +01:00
|
|
|
callback: None,
|
2021-03-11 02:44:38 +01:00
|
|
|
on_next_key_callback: None,
|
2021-06-05 04:21:31 +02:00
|
|
|
callbacks: cx.callbacks,
|
2021-01-21 08:55:46 +01:00
|
|
|
};
|
2020-12-13 04:23:50 +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,
|
|
|
|
callbacks: cxt.callbacks,
|
|
|
|
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
|
|
|
|
self.completion = None;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// 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() {
|
|
|
|
self.completion = None;
|
|
|
|
}
|
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.
|
|
|
|
if cx.editor.should_close() {
|
|
|
|
return EventResult::Ignored;
|
|
|
|
}
|
|
|
|
|
2021-04-01 03:39:46 +02:00
|
|
|
let (view, doc) = cx.editor.current();
|
|
|
|
view.ensure_cursor_in_view(doc);
|
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-06-17 13:08:05 +02:00
|
|
|
self.last_insert.0 = self.keymaps[&mode][&key];
|
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
|
|
|
}
|
|
|
|
Event::Mouse(_) => EventResult::Ignored,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-02-09 07:59:42 +01:00
|
|
|
fn render(&self, mut 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
|
|
|
|
cx.editor
|
|
|
|
.resize(Rect::new(area.x, area.y, area.width, area.height - 1)); // - 1 to account for commandline
|
|
|
|
|
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-04-08 09:54:55 +02:00
|
|
|
self.render_view(doc, view, area, surface, &cx.editor.theme, is_focused);
|
2021-02-03 11:36:54 +01:00
|
|
|
}
|
2021-04-05 11:23:37 +02:00
|
|
|
|
2021-05-07 07:19:58 +02:00
|
|
|
// render status msg
|
|
|
|
if let Some((status_msg, severity)) = &cx.editor.status_msg {
|
|
|
|
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-04-05 11:23:37 +02:00
|
|
|
if let Some(completion) = &self.completion {
|
|
|
|
completion.render(area, surface, cx)
|
|
|
|
// render completion here
|
|
|
|
}
|
2020-12-13 05:29:34 +01:00
|
|
|
}
|
|
|
|
|
2021-06-15 07:03:56 +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
|
|
|
}
|