2020-12-10 10:13:42 +01:00
|
|
|
use crate::{
|
2020-10-20 06:58:34 +02:00
|
|
|
commands,
|
|
|
|
keymap::{self, Keymaps},
|
|
|
|
};
|
2020-12-10 10:13:42 +01:00
|
|
|
use clap::ArgMatches as Args;
|
|
|
|
use helix_core::{indent::TAB_WIDTH, syntax::HighlightEvent, Position, Range, State};
|
|
|
|
|
|
|
|
use helix_view::{document::Mode, Document, Editor, Theme, View};
|
2020-09-11 07:14:44 +02:00
|
|
|
|
2020-12-07 07:18:37 +01:00
|
|
|
use crate::compositor::{Component, Compositor, EventResult};
|
2020-12-10 10:13:42 +01:00
|
|
|
use crate::prompt::Prompt;
|
2020-12-06 03:53:58 +01:00
|
|
|
|
2020-10-29 06:06:33 +01:00
|
|
|
use log::{debug, info};
|
|
|
|
|
2020-09-11 07:14:44 +02:00
|
|
|
use std::{
|
2020-09-28 18:00:35 +02:00
|
|
|
borrow::Cow,
|
2020-10-09 22:05:57 +02:00
|
|
|
io::{self, stdout, Stdout, Write},
|
2020-09-11 07:14:44 +02:00
|
|
|
path::PathBuf,
|
|
|
|
time::Duration,
|
|
|
|
};
|
|
|
|
|
|
|
|
use smol::prelude::*;
|
|
|
|
|
2020-06-24 21:03:38 +02:00
|
|
|
use anyhow::Error;
|
2020-09-11 07:14:44 +02:00
|
|
|
|
2020-06-04 01:05:01 +02:00
|
|
|
use crossterm::{
|
|
|
|
cursor,
|
2020-10-19 10:18:03 +02:00
|
|
|
event::{read, Event, EventStream, KeyCode, KeyEvent},
|
2020-06-16 22:46:27 +02:00
|
|
|
execute, queue,
|
2020-06-04 01:05:01 +02:00
|
|
|
terminal::{self, disable_raw_mode, enable_raw_mode},
|
|
|
|
};
|
2020-09-08 07:32:20 +02:00
|
|
|
|
2020-10-16 05:29:22 +02:00
|
|
|
use tui::{
|
|
|
|
backend::CrosstermBackend,
|
|
|
|
buffer::Buffer as Surface,
|
|
|
|
layout::Rect,
|
2020-10-20 08:42:53 +02:00
|
|
|
style::{Color, Modifier, Style},
|
2020-10-16 05:29:22 +02:00
|
|
|
};
|
2020-09-07 11:10:08 +02:00
|
|
|
|
|
|
|
type Terminal = tui::Terminal<CrosstermBackend<std::io::Stdout>>;
|
|
|
|
|
2020-11-02 10:41:27 +01:00
|
|
|
const BASE_WIDTH: u16 = 30;
|
|
|
|
|
2020-10-20 06:58:34 +02:00
|
|
|
pub struct Application<'a> {
|
2020-12-06 03:53:58 +01:00
|
|
|
compositor: Compositor,
|
2020-12-11 10:25:09 +01:00
|
|
|
editor: Editor,
|
2020-12-06 03:53:58 +01:00
|
|
|
renderer: Renderer,
|
|
|
|
|
2020-10-20 06:58:34 +02:00
|
|
|
executor: &'a smol::Executor<'a>,
|
2020-10-29 06:06:33 +01:00
|
|
|
language_server: helix_lsp::Client,
|
2020-10-16 05:29:22 +02:00
|
|
|
}
|
|
|
|
|
2020-12-11 10:25:09 +01:00
|
|
|
pub struct Renderer {
|
2020-06-19 02:14:29 +02:00
|
|
|
size: (u16, u16),
|
2020-10-16 05:29:22 +02:00
|
|
|
terminal: Terminal,
|
2020-09-10 06:55:18 +02:00
|
|
|
surface: Surface,
|
2020-09-17 09:17:41 +02:00
|
|
|
cache: Surface,
|
2020-10-16 05:29:22 +02:00
|
|
|
text_color: Style,
|
2020-06-05 12:21:27 +02:00
|
|
|
}
|
2020-05-25 06:02:21 +02:00
|
|
|
|
2020-10-16 05:29:22 +02:00
|
|
|
impl Renderer {
|
|
|
|
pub fn new() -> Result<Self, Error> {
|
2020-09-07 11:10:08 +02:00
|
|
|
let backend = CrosstermBackend::new(stdout());
|
|
|
|
let mut terminal = Terminal::new(backend)?;
|
2020-09-10 06:55:18 +02:00
|
|
|
let size = terminal::size().unwrap();
|
2020-10-16 05:29:22 +02:00
|
|
|
let text_color: Style = Style::default().fg(Color::Rgb(219, 191, 239)); // lilac
|
|
|
|
|
2020-09-10 06:55:18 +02:00
|
|
|
let area = Rect::new(0, 0, size.0, size.1);
|
2020-09-11 07:14:44 +02:00
|
|
|
|
2020-10-16 05:29:22 +02:00
|
|
|
Ok(Self {
|
2020-09-10 06:55:18 +02:00
|
|
|
size,
|
2020-10-16 05:29:22 +02:00
|
|
|
terminal,
|
2020-09-10 06:55:18 +02:00
|
|
|
surface: Surface::empty(area),
|
2020-09-17 09:17:41 +02:00
|
|
|
cache: Surface::empty(area),
|
2020-10-16 05:29:22 +02:00
|
|
|
text_color,
|
|
|
|
})
|
2020-06-16 11:00:34 +02:00
|
|
|
}
|
|
|
|
|
2020-10-16 05:29:22 +02:00
|
|
|
pub fn resize(&mut self, width: u16, height: u16) {
|
|
|
|
self.size = (width, height);
|
|
|
|
let area = Rect::new(0, 0, width, height);
|
|
|
|
self.surface = Surface::empty(area);
|
|
|
|
self.cache = Surface::empty(area);
|
2020-10-09 22:05:57 +02:00
|
|
|
}
|
2020-09-10 06:55:18 +02:00
|
|
|
|
2020-10-19 10:18:03 +02:00
|
|
|
pub fn render_view(&mut self, view: &mut View, viewport: Rect, theme: &Theme) {
|
|
|
|
self.render_buffer(view, viewport, theme);
|
|
|
|
self.render_statusline(view, theme);
|
2020-10-10 19:54:16 +02:00
|
|
|
}
|
|
|
|
|
2020-10-16 05:29:22 +02:00
|
|
|
// TODO: ideally not &mut View but highlights require it because of cursor cache
|
2020-10-19 10:18:03 +02:00
|
|
|
pub fn render_buffer(&mut self, view: &mut View, viewport: Rect, theme: &Theme) {
|
2020-10-09 22:05:57 +02:00
|
|
|
let area = Rect::new(0, 0, self.size.0, self.size.1);
|
2020-09-19 04:55:15 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
// clear with background color
|
2020-10-19 10:18:03 +02:00
|
|
|
self.surface.set_style(area, theme.get("ui.background"));
|
2020-09-19 04:55:42 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
// TODO: inefficient, should feed chunks.iter() to tree_sitter.parse_with(|offset, pos|)
|
2020-10-22 07:35:07 +02:00
|
|
|
let source_code = view.doc.text().to_string();
|
2020-09-19 04:55:42 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
let last_line = view.last_line();
|
2020-09-19 04:55:42 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
let range = {
|
|
|
|
// calculate viewport byte ranges
|
2020-10-22 07:35:07 +02:00
|
|
|
let start = view.doc.text().line_to_byte(view.first_line);
|
|
|
|
let end = view.doc.text().line_to_byte(last_line)
|
|
|
|
+ view.doc.text().line(last_line).len_bytes();
|
2020-09-10 06:55:18 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
start..end
|
|
|
|
};
|
2020-09-10 06:55:18 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
// TODO: range doesn't actually restrict source, just highlight range
|
|
|
|
// TODO: cache highlight results
|
|
|
|
// TODO: only recalculate when state.doc is actually modified
|
2020-10-22 07:35:07 +02:00
|
|
|
let highlights: Vec<_> = match view.doc.syntax.as_mut() {
|
2020-10-09 22:05:57 +02:00
|
|
|
Some(syntax) => {
|
|
|
|
syntax
|
|
|
|
.highlight_iter(source_code.as_bytes(), Some(range), None, |_| None)
|
|
|
|
.unwrap()
|
|
|
|
.collect() // TODO: we collect here to avoid double borrow, fix later
|
|
|
|
}
|
|
|
|
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;
|
|
|
|
let visible_selections: Vec<Range> = view
|
2020-10-22 07:35:07 +02:00
|
|
|
.doc
|
2020-10-09 22:05:57 +02:00
|
|
|
.state
|
|
|
|
.selection()
|
|
|
|
.ranges()
|
|
|
|
.iter()
|
|
|
|
// TODO: limit selection to one in viewport
|
|
|
|
// .filter(|range| !range.is_empty()) // && range.overlaps(&Range::new(start, end + 1))
|
|
|
|
.copied()
|
|
|
|
.collect();
|
|
|
|
|
|
|
|
'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..
|
2020-09-10 06:55:18 +02:00
|
|
|
|
2020-10-22 07:35:07 +02:00
|
|
|
let start = view.doc.text().byte_to_char(start);
|
|
|
|
let end = view.doc.text().byte_to_char(end); // <-- index 744, len 743
|
2020-09-10 06:55:18 +02:00
|
|
|
|
2020-10-22 07:35:07 +02:00
|
|
|
let text = view.doc.text().slice(start..end);
|
2020-09-10 06:55:18 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
use helix_core::graphemes::{grapheme_width, RopeGraphemes};
|
2020-09-28 18:00:35 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
let style = match spans.first() {
|
2020-10-19 10:18:03 +02:00
|
|
|
Some(span) => theme.get(theme.scopes()[span.0].as_str()),
|
2020-10-09 22:05:57 +02:00
|
|
|
None => Style::default().fg(Color::Rgb(164, 160, 232)), // lavender
|
|
|
|
};
|
|
|
|
|
|
|
|
// 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.
|
|
|
|
|
|
|
|
let mut char_index = start;
|
|
|
|
|
|
|
|
// iterate over range char by char
|
|
|
|
for grapheme in RopeGraphemes::new(&text) {
|
|
|
|
// TODO: track current char_index
|
|
|
|
|
|
|
|
if grapheme == "\n" {
|
|
|
|
visual_x = 0;
|
|
|
|
line += 1;
|
|
|
|
|
|
|
|
// TODO: with proper iter this shouldn't be necessary
|
|
|
|
if line >= viewport.height {
|
|
|
|
break 'outer;
|
2020-09-10 06:55:18 +02:00
|
|
|
}
|
2020-10-09 22:05:57 +02:00
|
|
|
} else if grapheme == "\t" {
|
|
|
|
visual_x += (TAB_WIDTH as u16);
|
|
|
|
} else {
|
|
|
|
// 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;
|
|
|
|
|
|
|
|
// TODO: this should really happen as an after pass
|
|
|
|
let style = if visible_selections
|
|
|
|
.iter()
|
|
|
|
.any(|range| range.contains(char_index))
|
|
|
|
{
|
|
|
|
// cedar
|
|
|
|
style.clone().bg(Color::Rgb(128, 47, 0))
|
|
|
|
} else {
|
|
|
|
style
|
|
|
|
};
|
2020-09-05 15:01:05 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
let style = if visible_selections
|
|
|
|
.iter()
|
|
|
|
.any(|range| range.head == char_index)
|
|
|
|
{
|
|
|
|
style.clone().bg(Color::Rgb(255, 255, 255))
|
|
|
|
} else {
|
|
|
|
style
|
|
|
|
};
|
2020-09-10 06:55:18 +02:00
|
|
|
|
2020-10-20 08:42:53 +02:00
|
|
|
// ugh, improve with a traverse method
|
|
|
|
// or interleave highlight spans with selection and diagnostic spans
|
2020-10-22 07:35:07 +02:00
|
|
|
let style = if view.doc.diagnostics.iter().any(|diagnostic| {
|
2020-10-20 08:42:53 +02:00
|
|
|
diagnostic.range.0 <= char_index && diagnostic.range.1 > char_index
|
|
|
|
}) {
|
|
|
|
style.clone().add_modifier(Modifier::UNDERLINED)
|
|
|
|
} else {
|
|
|
|
style
|
|
|
|
};
|
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
// TODO: paint cursor heads except primary
|
|
|
|
|
2020-12-06 03:53:58 +01:00
|
|
|
self.surface.set_string(
|
|
|
|
viewport.x + visual_x,
|
|
|
|
viewport.y + line,
|
|
|
|
grapheme,
|
|
|
|
style,
|
|
|
|
);
|
2020-10-01 21:16:24 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
visual_x += width;
|
|
|
|
}
|
2020-10-01 21:16:24 +02:00
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
char_index += 1;
|
|
|
|
}
|
2020-10-08 00:02:32 +02:00
|
|
|
}
|
2020-10-09 22:05:57 +02:00
|
|
|
}
|
|
|
|
}
|
2020-10-20 08:42:53 +02:00
|
|
|
|
2020-10-19 10:18:03 +02:00
|
|
|
let style: Style = theme.get("ui.linenr");
|
2020-10-20 08:42:53 +02:00
|
|
|
let warning: Style = theme.get("warning");
|
2020-10-09 22:05:57 +02:00
|
|
|
let last_line = view.last_line();
|
|
|
|
for (i, line) in (view.first_line..last_line).enumerate() {
|
2020-10-22 07:35:07 +02:00
|
|
|
if view.doc.diagnostics.iter().any(|d| d.line == line) {
|
2020-10-20 08:42:53 +02:00
|
|
|
self.surface.set_stringn(0, i as u16, "●", 1, warning);
|
|
|
|
}
|
|
|
|
|
2020-10-09 22:05:57 +02:00
|
|
|
self.surface
|
2020-10-20 08:42:53 +02:00
|
|
|
.set_stringn(1, i as u16, format!("{:>5}", line + 1), 5, style);
|
2020-10-09 22:05:57 +02:00
|
|
|
}
|
2020-10-10 19:54:16 +02:00
|
|
|
}
|
2020-10-08 00:02:32 +02:00
|
|
|
|
2020-10-19 10:18:03 +02:00
|
|
|
pub fn render_statusline(&mut self, view: &View, theme: &Theme) {
|
2020-10-22 07:35:07 +02:00
|
|
|
let mode = match view.doc.mode() {
|
2020-10-09 22:05:57 +02:00
|
|
|
Mode::Insert => "INS",
|
|
|
|
Mode::Normal => "NOR",
|
|
|
|
Mode::Goto => "GOTO",
|
|
|
|
};
|
2020-10-10 19:54:16 +02:00
|
|
|
// statusline
|
2020-10-09 22:05:57 +02:00
|
|
|
self.surface.set_style(
|
2020-10-10 19:54:16 +02:00
|
|
|
Rect::new(0, self.size.1 - 2, self.size.0, 1),
|
2020-10-19 10:18:03 +02:00
|
|
|
theme.get("ui.statusline"),
|
2020-10-09 22:05:57 +02:00
|
|
|
);
|
2020-10-10 19:54:16 +02:00
|
|
|
self.surface
|
2020-10-16 05:29:22 +02:00
|
|
|
.set_string(1, self.size.1 - 2, mode, self.text_color);
|
2020-10-20 08:42:53 +02:00
|
|
|
|
2020-12-11 10:25:09 +01:00
|
|
|
if let Some(path) = view.doc.path() {
|
|
|
|
self.surface
|
|
|
|
.set_string(6, self.size.1 - 2, path.to_string_lossy(), self.text_color);
|
|
|
|
}
|
|
|
|
|
2020-10-20 08:42:53 +02:00
|
|
|
self.surface.set_string(
|
|
|
|
self.size.0 - 10,
|
|
|
|
self.size.1 - 2,
|
2020-10-22 07:35:07 +02:00
|
|
|
format!("{}", view.doc.diagnostics.len()),
|
2020-10-20 08:42:53 +02:00
|
|
|
self.text_color,
|
|
|
|
);
|
2020-10-10 19:54:16 +02:00
|
|
|
}
|
|
|
|
|
2020-12-11 10:25:09 +01:00
|
|
|
pub fn render_prompt(&mut self, prompt: &Prompt, theme: &Theme) {
|
2020-10-19 19:39:35 +02:00
|
|
|
// completion
|
2020-11-03 10:57:12 +01:00
|
|
|
if !prompt.completion.is_empty() {
|
2020-10-19 20:08:47 +02:00
|
|
|
// TODO: find out better way of clearing individual lines of the screen
|
2020-11-13 00:07:21 +01:00
|
|
|
let mut row = 0;
|
|
|
|
let mut col = 0;
|
|
|
|
let max_col = self.size.0 / BASE_WIDTH;
|
|
|
|
let col_height = ((prompt.completion.len() as u16 + max_col - 1) / max_col);
|
|
|
|
|
|
|
|
for i in (3..col_height + 3) {
|
2020-10-19 20:08:47 +02:00
|
|
|
self.surface.set_string(
|
|
|
|
0,
|
2020-10-20 23:02:02 +02:00
|
|
|
self.size.1 - i as u16,
|
2020-10-19 20:08:47 +02:00
|
|
|
" ".repeat(self.size.0 as usize),
|
|
|
|
self.text_color,
|
|
|
|
);
|
|
|
|
}
|
2020-10-19 19:39:35 +02:00
|
|
|
self.surface.set_style(
|
2020-11-13 00:07:21 +01:00
|
|
|
Rect::new(0, self.size.1 - col_height - 2, self.size.0, col_height),
|
2020-10-20 06:58:34 +02:00
|
|
|
theme.get("ui.statusline"),
|
2020-10-19 19:39:35 +02:00
|
|
|
);
|
2020-11-03 10:57:12 +01:00
|
|
|
for (i, command) in prompt.completion.iter().enumerate() {
|
2020-10-30 12:22:58 +01:00
|
|
|
let color = if prompt.completion_selection_index.is_some()
|
2020-10-20 23:02:02 +02:00
|
|
|
&& i == prompt.completion_selection_index.unwrap()
|
|
|
|
{
|
2020-10-30 12:22:58 +01:00
|
|
|
Style::default().bg(Color::Rgb(104, 060, 232))
|
2020-10-20 23:02:02 +02:00
|
|
|
} else {
|
2020-10-30 12:22:58 +01:00
|
|
|
self.text_color
|
|
|
|
};
|
2020-11-02 10:41:27 +01:00
|
|
|
self.surface.set_stringn(
|
2020-11-03 10:57:12 +01:00
|
|
|
1 + col * BASE_WIDTH,
|
2020-11-13 00:07:21 +01:00
|
|
|
self.size.1 - col_height - 2 + row,
|
2020-11-02 10:41:27 +01:00
|
|
|
&command,
|
|
|
|
BASE_WIDTH as usize - 1,
|
2020-10-30 12:22:58 +01:00
|
|
|
color,
|
|
|
|
);
|
2020-11-03 10:57:12 +01:00
|
|
|
row += 1;
|
2020-11-13 00:07:21 +01:00
|
|
|
if row > col_height - 1 {
|
2020-11-03 10:57:12 +01:00
|
|
|
row = 0;
|
|
|
|
col += 1;
|
2020-11-02 10:41:27 +01:00
|
|
|
}
|
2020-11-03 10:57:12 +01:00
|
|
|
if col > max_col {
|
2020-11-02 10:41:27 +01:00
|
|
|
break;
|
2020-10-20 23:02:02 +02:00
|
|
|
}
|
2020-10-19 20:08:47 +02:00
|
|
|
}
|
2020-10-19 19:39:35 +02:00
|
|
|
}
|
2020-10-09 22:55:45 +02:00
|
|
|
// render buffer text
|
2020-10-16 05:29:22 +02:00
|
|
|
self.surface
|
2020-10-16 09:58:26 +02:00
|
|
|
.set_string(1, self.size.1 - 1, &prompt.prompt, self.text_color);
|
2020-10-16 05:29:22 +02:00
|
|
|
self.surface
|
2020-10-16 09:58:26 +02:00
|
|
|
.set_string(2, self.size.1 - 1, &prompt.line, self.text_color);
|
|
|
|
}
|
2020-10-09 22:55:45 +02:00
|
|
|
|
2020-12-06 03:53:58 +01:00
|
|
|
pub fn draw_and_swap(&mut self) {
|
2020-10-16 09:58:26 +02:00
|
|
|
use tui::backend::Backend;
|
2020-10-10 19:54:16 +02:00
|
|
|
// TODO: theres probably a better place for this
|
2020-10-09 22:05:57 +02:00
|
|
|
self.terminal
|
|
|
|
.backend_mut()
|
|
|
|
.draw(self.cache.diff(&self.surface).into_iter());
|
|
|
|
// swap the buffer
|
|
|
|
std::mem::swap(&mut self.surface, &mut self.cache);
|
|
|
|
}
|
|
|
|
|
2020-10-16 05:29:22 +02:00
|
|
|
pub fn render_cursor(&mut self, view: &View, prompt: Option<&Prompt>, viewport: Rect) {
|
2020-10-09 22:05:57 +02:00
|
|
|
let mut stdout = stdout();
|
2020-10-22 07:35:07 +02:00
|
|
|
match view.doc.mode() {
|
2020-10-09 22:05:57 +02:00
|
|
|
Mode::Insert => write!(stdout, "\x1B[6 q"),
|
|
|
|
mode => write!(stdout, "\x1B[2 q"),
|
|
|
|
};
|
2020-10-16 05:29:22 +02:00
|
|
|
let pos = if let Some(prompt) = prompt {
|
2020-10-16 09:58:26 +02:00
|
|
|
Position::new(self.size.0 as usize, 2 + prompt.cursor)
|
2020-10-09 22:05:57 +02:00
|
|
|
} else {
|
2020-10-22 07:35:07 +02:00
|
|
|
let cursor = view.doc.state.selection().cursor();
|
2020-10-09 22:05:57 +02:00
|
|
|
|
2020-10-16 05:29:22 +02:00
|
|
|
let mut pos = view
|
2020-10-22 07:35:07 +02:00
|
|
|
.screen_coords_at_pos(&view.doc.text().slice(..), cursor)
|
2020-10-09 22:05:57 +02:00
|
|
|
.expect("Cursor is out of bounds.");
|
|
|
|
pos.col += viewport.x as usize;
|
|
|
|
pos.row += viewport.y as usize;
|
2020-10-16 05:29:22 +02:00
|
|
|
pos
|
|
|
|
};
|
2020-10-09 22:05:57 +02:00
|
|
|
|
|
|
|
execute!(stdout, cursor::MoveTo(pos.col as u16, pos.row as u16));
|
2020-06-16 11:00:34 +02:00
|
|
|
}
|
2020-10-16 05:29:22 +02:00
|
|
|
}
|
|
|
|
|
2020-12-06 03:53:58 +01:00
|
|
|
struct EditorView {
|
|
|
|
keymap: Keymaps,
|
|
|
|
}
|
2020-10-20 06:58:34 +02:00
|
|
|
|
2020-12-06 03:53:58 +01:00
|
|
|
impl EditorView {
|
2020-12-11 10:25:09 +01:00
|
|
|
fn new() -> Self {
|
2020-12-06 03:53:58 +01:00
|
|
|
Self {
|
2020-10-20 06:58:34 +02:00
|
|
|
keymap: keymap::default(),
|
|
|
|
}
|
|
|
|
}
|
2020-12-06 03:53:58 +01:00
|
|
|
}
|
2020-09-19 04:56:56 +02:00
|
|
|
|
2020-12-11 10:25:09 +01:00
|
|
|
use crate::compositor::Context;
|
|
|
|
|
2020-12-06 03:53:58 +01:00
|
|
|
impl Component for EditorView {
|
2020-12-11 10:25:09 +01:00
|
|
|
fn handle_event(&mut self, event: Event, cx: &mut Context) -> EventResult {
|
2020-10-20 06:58:34 +02:00
|
|
|
match event {
|
2020-12-06 03:53:58 +01:00
|
|
|
Event::Resize(width, height) => {
|
2020-10-20 06:58:34 +02:00
|
|
|
// TODO: simplistic ensure cursor in view for now
|
|
|
|
// TODO: loop over views
|
2020-12-11 10:25:09 +01:00
|
|
|
if let Some(view) = cx.editor.view_mut() {
|
2020-12-06 03:53:58 +01:00
|
|
|
view.size = (width, height);
|
2020-10-20 06:58:34 +02:00
|
|
|
view.ensure_cursor_in_view()
|
|
|
|
};
|
2020-12-07 07:18:37 +01:00
|
|
|
EventResult::Consumed(None)
|
2020-10-20 06:58:34 +02:00
|
|
|
}
|
2020-12-06 03:53:58 +01:00
|
|
|
Event::Key(event) => {
|
2020-12-11 10:25:09 +01:00
|
|
|
if let Some(view) = cx.editor.view_mut() {
|
2020-10-20 06:58:34 +02:00
|
|
|
let keys = vec![event];
|
|
|
|
// TODO: sequences (`gg`)
|
2020-12-11 10:25:09 +01:00
|
|
|
let mode = view.doc.mode();
|
2020-10-20 06:58:34 +02:00
|
|
|
// TODO: handle count other than 1
|
2020-12-11 10:25:09 +01:00
|
|
|
let mut cx = commands::Context {
|
|
|
|
view,
|
|
|
|
executor: cx.executor,
|
|
|
|
count: 1,
|
|
|
|
callback: None,
|
|
|
|
};
|
|
|
|
|
|
|
|
match mode {
|
2020-10-20 06:58:34 +02:00
|
|
|
Mode::Insert => {
|
|
|
|
if let Some(command) = self.keymap[&Mode::Insert].get(&keys) {
|
2020-10-30 06:09:59 +01:00
|
|
|
command(&mut cx);
|
2020-10-20 06:58:34 +02:00
|
|
|
} else if let KeyEvent {
|
|
|
|
code: KeyCode::Char(c),
|
|
|
|
..
|
|
|
|
} = event
|
|
|
|
{
|
2020-10-30 06:09:59 +01:00
|
|
|
commands::insert::insert_char(&mut cx, c);
|
2020-09-05 15:01:05 +02:00
|
|
|
}
|
2020-10-20 06:58:34 +02:00
|
|
|
}
|
|
|
|
Mode::Normal => {
|
2020-12-11 10:25:09 +01:00
|
|
|
if let Some(command) = self.keymap[&Mode::Normal].get(&keys) {
|
2020-10-30 06:09:59 +01:00
|
|
|
command(&mut cx);
|
2020-10-20 06:58:34 +02:00
|
|
|
|
|
|
|
// TODO: simplistic ensure cursor in view for now
|
2020-10-16 09:58:26 +02:00
|
|
|
}
|
2020-10-20 06:58:34 +02:00
|
|
|
}
|
|
|
|
mode => {
|
|
|
|
if let Some(command) = self.keymap[&mode].get(&keys) {
|
2020-10-30 06:09:59 +01:00
|
|
|
command(&mut cx);
|
2020-10-04 23:47:37 +02:00
|
|
|
|
2020-10-20 06:58:34 +02:00
|
|
|
// TODO: simplistic ensure cursor in view for now
|
2020-09-05 15:01:05 +02:00
|
|
|
}
|
2020-06-07 14:11:08 +02:00
|
|
|
}
|
|
|
|
}
|
2020-12-11 10:25:09 +01:00
|
|
|
// appease borrowck
|
|
|
|
let callback = cx.callback.take();
|
|
|
|
|
|
|
|
view.ensure_cursor_in_view();
|
|
|
|
|
|
|
|
EventResult::Consumed(callback)
|
2020-12-07 07:18:37 +01:00
|
|
|
} else {
|
|
|
|
EventResult::Ignored
|
2020-06-04 01:05:01 +02:00
|
|
|
}
|
|
|
|
}
|
2020-12-07 07:18:37 +01:00
|
|
|
Event::Mouse(_) => EventResult::Ignored,
|
2020-12-06 03:53:58 +01:00
|
|
|
}
|
|
|
|
}
|
2020-12-11 10:25:09 +01:00
|
|
|
fn render(&mut self, renderer: &mut Renderer, cx: &mut Context) {
|
2020-12-06 03:53:58 +01:00
|
|
|
const OFFSET: u16 = 7; // 1 diagnostic + 5 linenr + 1 gutter
|
|
|
|
let viewport = Rect::new(OFFSET, 0, renderer.size.0, renderer.size.1 - 2); // - 2 for statusline and prompt
|
|
|
|
|
|
|
|
// SAFETY: we cheat around the view_mut() borrow because it doesn't allow us to also borrow
|
|
|
|
// theme. Theme is immutable mutating view won't disrupt theme_ref.
|
2020-12-11 10:25:09 +01:00
|
|
|
let theme_ref = unsafe { &*(&cx.editor.theme as *const Theme) };
|
|
|
|
if let Some(view) = cx.editor.view_mut() {
|
2020-12-06 03:53:58 +01:00
|
|
|
renderer.render_view(view, viewport, theme_ref);
|
|
|
|
}
|
|
|
|
|
|
|
|
// TODO: drop unwrap
|
2020-12-11 10:25:09 +01:00
|
|
|
renderer.render_cursor(cx.editor.view().unwrap(), None, viewport);
|
2020-12-06 03:53:58 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> Application<'a> {
|
|
|
|
pub fn new(mut args: Args, executor: &'a smol::Executor<'a>) -> Result<Self, Error> {
|
|
|
|
let renderer = Renderer::new()?;
|
|
|
|
let mut editor = Editor::new();
|
|
|
|
|
|
|
|
if let Some(file) = args.values_of_t::<PathBuf>("files").unwrap().pop() {
|
|
|
|
editor.open(file, renderer.size)?;
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut compositor = Compositor::new();
|
2020-12-11 10:25:09 +01:00
|
|
|
compositor.push(Box::new(EditorView::new()));
|
2020-12-06 03:53:58 +01:00
|
|
|
|
|
|
|
let language_server = helix_lsp::Client::start(&executor, "rust-analyzer", &[]);
|
|
|
|
|
|
|
|
let mut app = Self {
|
2020-12-11 10:25:09 +01:00
|
|
|
editor,
|
2020-12-06 03:53:58 +01:00
|
|
|
renderer,
|
|
|
|
// TODO; move to state
|
|
|
|
compositor,
|
|
|
|
|
|
|
|
executor,
|
|
|
|
language_server,
|
|
|
|
};
|
|
|
|
|
|
|
|
Ok(app)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn render(&mut self) {
|
|
|
|
self.renderer.surface.reset(); // reset is faster than allocating new empty surface
|
2020-12-11 10:25:09 +01:00
|
|
|
let mut cx = crate::compositor::Context {
|
|
|
|
editor: &mut self.editor,
|
|
|
|
executor: &self.executor,
|
|
|
|
};
|
|
|
|
self.compositor.render(&mut self.renderer, &mut cx); // viewport,
|
2020-12-06 03:53:58 +01:00
|
|
|
self.renderer.draw_and_swap();
|
|
|
|
}
|
|
|
|
|
|
|
|
pub async fn event_loop(&mut self) {
|
|
|
|
let mut reader = EventStream::new();
|
|
|
|
|
|
|
|
// initialize lsp
|
|
|
|
self.language_server.initialize().await.unwrap();
|
|
|
|
// TODO: temp
|
|
|
|
// self.language_server
|
2020-12-11 10:25:09 +01:00
|
|
|
// .text_document_did_open(&cx.editor.view().unwrap().doc)
|
2020-12-06 03:53:58 +01:00
|
|
|
// .await
|
|
|
|
// .unwrap();
|
|
|
|
|
|
|
|
self.render();
|
|
|
|
|
|
|
|
loop {
|
2020-12-11 10:25:09 +01:00
|
|
|
if self.editor.should_close {
|
|
|
|
break;
|
|
|
|
}
|
2020-12-06 03:53:58 +01:00
|
|
|
|
|
|
|
use futures_util::{select, FutureExt};
|
|
|
|
select! {
|
|
|
|
event = reader.next().fuse() => {
|
|
|
|
self.handle_terminal_events(event)
|
|
|
|
}
|
|
|
|
call = self.language_server.incoming.next().fuse() => {
|
|
|
|
self.handle_language_server_message(call).await
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn handle_terminal_events(&mut self, event: Option<Result<Event, crossterm::ErrorKind>>) {
|
2020-12-11 10:25:09 +01:00
|
|
|
let mut cx = crate::compositor::Context {
|
|
|
|
editor: &mut self.editor,
|
|
|
|
executor: &self.executor,
|
|
|
|
};
|
2020-12-06 03:53:58 +01:00
|
|
|
// Handle key events
|
2020-12-11 10:25:09 +01:00
|
|
|
let should_redraw = match event {
|
2020-12-06 03:53:58 +01:00
|
|
|
Some(Ok(Event::Resize(width, height))) => {
|
|
|
|
self.renderer.resize(width, height);
|
|
|
|
|
|
|
|
self.compositor
|
2020-12-11 10:25:09 +01:00
|
|
|
.handle_event(Event::Resize(width, height), &mut cx)
|
2020-12-06 03:53:58 +01:00
|
|
|
}
|
2020-12-11 10:25:09 +01:00
|
|
|
Some(Ok(event)) => self.compositor.handle_event(event, &mut cx),
|
2020-10-20 06:58:34 +02:00
|
|
|
Some(Err(x)) => panic!(x),
|
|
|
|
None => panic!(),
|
|
|
|
};
|
2020-12-11 10:25:09 +01:00
|
|
|
|
|
|
|
if should_redraw {
|
|
|
|
self.render();
|
|
|
|
}
|
2020-10-20 06:58:34 +02:00
|
|
|
}
|
|
|
|
|
2020-10-29 06:06:33 +01:00
|
|
|
pub async fn handle_language_server_message(&mut self, call: Option<helix_lsp::Call>) {
|
2020-10-23 11:48:03 +02:00
|
|
|
use helix_lsp::{Call, Notification};
|
|
|
|
match call {
|
|
|
|
Some(Call::Notification(helix_lsp::jsonrpc::Notification {
|
|
|
|
method, params, ..
|
|
|
|
})) => {
|
|
|
|
let notification = Notification::parse(&method, params);
|
|
|
|
match notification {
|
|
|
|
Notification::PublishDiagnostics(params) => {
|
|
|
|
let path = Some(params.uri.to_file_path().unwrap());
|
2020-12-06 03:53:58 +01:00
|
|
|
let view: Option<&mut helix_view::View> = None;
|
|
|
|
// TODO:
|
|
|
|
// let view = self
|
|
|
|
// .editor
|
|
|
|
// .views
|
|
|
|
// .iter_mut()
|
|
|
|
// .find(|view| view.doc.path == path);
|
2020-10-23 11:48:03 +02:00
|
|
|
|
|
|
|
if let Some(view) = view {
|
|
|
|
let doc = view.doc.text().slice(..);
|
|
|
|
let diagnostics = params
|
|
|
|
.diagnostics
|
|
|
|
.into_iter()
|
|
|
|
.map(|diagnostic| {
|
|
|
|
use helix_lsp::util::lsp_pos_to_pos;
|
|
|
|
let start = lsp_pos_to_pos(&doc, diagnostic.range.start);
|
|
|
|
let end = lsp_pos_to_pos(&doc, diagnostic.range.end);
|
|
|
|
|
|
|
|
helix_core::Diagnostic {
|
|
|
|
range: (start, end),
|
|
|
|
line: diagnostic.range.start.line as usize,
|
|
|
|
message: diagnostic.message,
|
|
|
|
// severity
|
|
|
|
// code
|
|
|
|
// source
|
|
|
|
}
|
|
|
|
})
|
|
|
|
.collect();
|
|
|
|
|
|
|
|
view.doc.diagnostics = diagnostics;
|
|
|
|
|
2020-10-29 06:06:33 +01:00
|
|
|
// TODO: we want to process all the events in queue, then render. publishDiagnostic tends to send a whole bunch of events
|
2020-10-23 11:48:03 +02:00
|
|
|
self.render();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => unreachable!(),
|
2020-10-20 08:42:53 +02:00
|
|
|
}
|
|
|
|
}
|
2020-10-23 11:48:03 +02:00
|
|
|
Some(Call::MethodCall(call)) => {
|
2020-11-05 07:15:19 +01:00
|
|
|
debug!("Method not found {}", call.method);
|
|
|
|
|
|
|
|
self.language_server.reply(
|
|
|
|
call.id,
|
|
|
|
// TODO: make a Into trait that can cast to Err(jsonrpc::Error)
|
|
|
|
Err(helix_lsp::jsonrpc::Error {
|
|
|
|
code: helix_lsp::jsonrpc::ErrorCode::MethodNotFound,
|
|
|
|
message: "Method not found".to_string(),
|
|
|
|
data: None,
|
|
|
|
}),
|
|
|
|
);
|
2020-10-23 11:48:03 +02:00
|
|
|
}
|
2020-10-20 06:58:34 +02:00
|
|
|
_ => unreachable!(),
|
2020-05-25 06:02:21 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-09-04 11:18:40 +02:00
|
|
|
pub async fn run(&mut self) -> Result<(), Error> {
|
2020-06-04 01:05:01 +02:00
|
|
|
enable_raw_mode()?;
|
2020-05-25 06:02:21 +02:00
|
|
|
|
2020-06-04 01:05:01 +02:00
|
|
|
let mut stdout = stdout();
|
2020-06-05 12:21:27 +02:00
|
|
|
|
|
|
|
execute!(stdout, terminal::EnterAlternateScreen)?;
|
|
|
|
|
2020-09-19 04:57:22 +02:00
|
|
|
// Exit the alternate screen and disable raw mode before panicking
|
|
|
|
let hook = std::panic::take_hook();
|
|
|
|
std::panic::set_hook(Box::new(move |info| {
|
|
|
|
execute!(std::io::stdout(), terminal::LeaveAlternateScreen);
|
|
|
|
disable_raw_mode();
|
|
|
|
hook(info);
|
|
|
|
}));
|
|
|
|
|
2020-09-13 04:32:37 +02:00
|
|
|
self.event_loop().await;
|
2020-06-05 12:21:27 +02:00
|
|
|
|
2020-09-05 15:01:05 +02:00
|
|
|
// reset cursor shape
|
|
|
|
write!(stdout, "\x1B[2 q");
|
|
|
|
|
2020-06-07 14:11:08 +02:00
|
|
|
execute!(stdout, terminal::LeaveAlternateScreen)?;
|
|
|
|
|
2020-06-16 11:00:34 +02:00
|
|
|
disable_raw_mode()?;
|
|
|
|
|
|
|
|
Ok(())
|
2020-06-01 10:42:28 +02:00
|
|
|
}
|
2020-05-25 06:02:21 +02:00
|
|
|
}
|
2020-09-09 08:48:25 +02:00
|
|
|
|
|
|
|
// TODO: language configs:
|
|
|
|
// tabSize, fileExtension etc, mapping to tree sitter parser
|
|
|
|
// themes:
|
|
|
|
// map tree sitter highlights to color values
|
|
|
|
//
|
|
|
|
// TODO: expand highlight thing so we're able to render only viewport range
|
|
|
|
// TODO: async: maybe pre-cache scopes as empty so we render all graphemes initially as regular
|
|
|
|
////text until calc finishes
|
|
|
|
// 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)))
|