helix-mirror/helix-term/src/application.rs

506 lines
18 KiB
Rust
Raw Normal View History

use clap::ArgMatches as Args;
use helix_core::{indent::TAB_WIDTH, state::Mode, syntax::HighlightEvent, Position, Range, State};
use helix_view::{commands, keymap, prompt::Prompt, Editor, View};
use std::{
2020-09-28 20:00:35 +04:00
borrow::Cow,
2020-10-10 00:05:57 +04:00
io::{self, stdout, Stdout, Write},
path::PathBuf,
time::Duration,
};
use smol::prelude::*;
2020-06-24 23:03:38 +04:00
use anyhow::Error;
2020-06-04 03:05:01 +04:00
use crossterm::{
cursor,
cursor::position,
2020-06-07 16:11:08 +04:00
event::{self, read, Event, EventStream, KeyCode, KeyEvent},
2020-06-17 00:46:27 +04:00
execute, queue,
2020-06-04 03:05:01 +04:00
terminal::{self, disable_raw_mode, enable_raw_mode},
};
use tui::{
backend::CrosstermBackend,
buffer::Buffer as Surface,
layout::Rect,
style::{Color, Style},
};
2020-10-10 00:05:57 +04:00
const OFFSET: u16 = 6; // 5 linenr + 1 gutter
type Terminal = tui::Terminal<CrosstermBackend<std::io::Stdout>>;
static EX: smol::Executor = smol::Executor::new();
pub struct Application {
editor: Editor,
prompt: Option<Prompt>,
terminal: Renderer,
}
struct Renderer {
2020-06-19 04:14:29 +04:00
size: (u16, u16),
terminal: Terminal,
surface: Surface,
cache: Surface,
text_color: Style,
2020-06-05 14:21:27 +04:00
}
impl Renderer {
pub fn new() -> Result<Self, Error> {
let backend = CrosstermBackend::new(stdout());
let mut terminal = Terminal::new(backend)?;
let size = terminal::size().unwrap();
let text_color: Style = Style::default().fg(Color::Rgb(219, 191, 239)); // lilac
let area = Rect::new(0, 0, size.0, size.1);
Ok(Self {
size,
terminal,
surface: Surface::empty(area),
cache: Surface::empty(area),
text_color,
})
}
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-10 00:05:57 +04:00
}
pub fn render_view(&mut self, view: &mut View, viewport: Rect) {
self.render_buffer(view, viewport);
self.render_statusline(view);
2020-10-10 21:54:16 +04:00
}
// TODO: ideally not &mut View but highlights require it because of cursor cache
pub fn render_buffer(&mut self, view: &mut View, viewport: Rect) {
2020-10-10 00:05:57 +04:00
let area = Rect::new(0, 0, self.size.0, self.size.1);
self.surface.reset(); // reset is faster than allocating new empty surface
2020-09-19 06:55:15 +04:00
2020-10-10 00:05:57 +04:00
// clear with background color
self.surface
.set_style(area, view.theme.get("ui.background"));
2020-10-10 00:05:57 +04:00
// TODO: inefficient, should feed chunks.iter() to tree_sitter.parse_with(|offset, pos|)
let source_code = view.state.doc().to_string();
2020-10-10 00:05:57 +04:00
let last_line = view.last_line();
2020-10-10 00:05:57 +04:00
let range = {
// calculate viewport byte ranges
let start = view.state.doc().line_to_byte(view.first_line);
let end = view.state.doc().line_to_byte(last_line)
+ view.state.doc().line(last_line).len_bytes();
2020-10-10 00:05:57 +04:00
start..end
};
2020-10-10 00:05:57 +04:00
// TODO: range doesn't actually restrict source, just highlight range
// TODO: cache highlight results
// TODO: only recalculate when state.doc is actually modified
let highlights: Vec<_> = match view.state.syntax.as_mut() {
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
.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-10-10 00:05:57 +04:00
let start = view.state.doc().byte_to_char(start);
let end = view.state.doc().byte_to_char(end); // <-- index 744, len 743
2020-10-10 00:05:57 +04:00
let text = view.state.doc().slice(start..end);
2020-10-10 00:05:57 +04:00
use helix_core::graphemes::{grapheme_width, RopeGraphemes};
2020-09-28 20:00:35 +04:00
2020-10-10 00:05:57 +04:00
let style = match spans.first() {
Some(span) => view.theme.get(view.theme.scopes()[span.0].as_str()),
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-10-10 00:05:57 +04: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 17:01:05 +04:00
2020-10-10 00:05:57 +04:00
let style = if visible_selections
.iter()
.any(|range| range.head == char_index)
{
style.clone().bg(Color::Rgb(255, 255, 255))
} else {
style
};
2020-10-10 00:05:57 +04:00
// TODO: paint cursor heads except primary
self.surface
.set_string(OFFSET + visual_x, line, grapheme, style);
2020-10-01 23:16:24 +04:00
2020-10-10 00:05:57 +04:00
visual_x += width;
}
// if grapheme == "\t"
2020-10-01 23:16:24 +04:00
2020-10-10 00:05:57 +04:00
char_index += 1;
}
}
2020-10-10 00:05:57 +04:00
}
}
let style: Style = view.theme.get("ui.linenr");
let last_line = view.last_line();
for (i, line) in (view.first_line..last_line).enumerate() {
self.surface
.set_stringn(0, i as u16, format!("{:>5}", line + 1), 5, style);
}
2020-10-10 21:54:16 +04:00
}
pub fn render_statusline(&mut self, view: &View) {
2020-10-10 00:05:57 +04:00
let mode = match view.state.mode() {
Mode::Insert => "INS",
Mode::Normal => "NOR",
Mode::Goto => "GOTO",
};
2020-10-10 21:54:16 +04:00
// statusline
2020-10-10 00:05:57 +04:00
self.surface.set_style(
2020-10-10 21:54:16 +04:00
Rect::new(0, self.size.1 - 2, self.size.0, 1),
2020-10-10 00:05:57 +04:00
view.theme.get("ui.statusline"),
);
2020-10-10 21:54:16 +04:00
self.surface
.set_string(1, self.size.1 - 2, mode, self.text_color);
2020-10-10 21:54:16 +04:00
}
2020-10-19 21:39:35 +04:00
pub fn render_prompt(&mut self, view: &View, prompt: &Prompt) {
// completion
if prompt.completion.is_some() {
2020-10-19 22:08:47 +04:00
let completion = prompt.completion.clone().unwrap();
// TODO: find out better way of clearing individual lines of the screen
for i in (3..7) {
self.surface.set_string(
0,
self.size.1 - i,
" ".repeat(self.size.0 as usize),
self.text_color,
);
}
2020-10-19 21:39:35 +04:00
self.surface.set_style(
Rect::new(0, self.size.1 - 6, self.size.0, 4),
view.theme.get("ui.statusline"),
);
2020-10-19 22:08:47 +04:00
for i in (0..completion.len()) {
self.surface.set_string(
1,
self.size.1 - 6 + i as u16,
&completion[i],
self.text_color,
)
}
2020-10-19 21:39:35 +04:00
}
2020-10-10 00:55:45 +04:00
// render buffer text
self.surface
2020-10-16 11:58:26 +04:00
.set_string(1, self.size.1 - 1, &prompt.prompt, self.text_color);
self.surface
2020-10-16 11:58:26 +04:00
.set_string(2, self.size.1 - 1, &prompt.line, self.text_color);
}
2020-10-10 00:55:45 +04:00
2020-10-16 11:58:26 +04:00
pub fn draw(&mut self) {
use tui::backend::Backend;
2020-10-10 21:54:16 +04:00
// TODO: theres probably a better place for this
2020-10-10 00:05:57 +04: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);
}
pub fn render_cursor(&mut self, view: &View, prompt: Option<&Prompt>, viewport: Rect) {
2020-10-10 00:05:57 +04:00
let mut stdout = stdout();
match view.state.mode() {
Mode::Insert => write!(stdout, "\x1B[6 q"),
mode => write!(stdout, "\x1B[2 q"),
};
let pos = if let Some(prompt) = prompt {
2020-10-16 11:58:26 +04:00
Position::new(self.size.0 as usize, 2 + prompt.cursor)
2020-10-10 00:05:57 +04:00
} else {
if let Some(path) = view.state.path() {
self.surface.set_string(
6,
self.size.1 - 1,
path.to_string_lossy(),
self.text_color,
);
2020-06-19 04:14:29 +04:00
}
2020-10-10 00:05:57 +04:00
let cursor = view.state.selection().cursor();
let mut pos = view
2020-10-10 00:05:57 +04:00
.screen_coords_at_pos(&view.state.doc().slice(..), cursor)
.expect("Cursor is out of bounds.");
pos.col += viewport.x as usize;
pos.row += viewport.y as usize;
pos
};
2020-10-10 00:05:57 +04:00
execute!(stdout, cursor::MoveTo(pos.col as u16, pos.row as u16));
}
}
impl Application {
pub fn new(mut args: Args) -> Result<Self, Error> {
let terminal = Renderer::new()?;
let mut editor = Editor::new();
if let Some(file) = args.values_of_t::<PathBuf>("files").unwrap().pop() {
editor.open(file, terminal.size)?;
}
let mut app = Self {
editor,
terminal,
// TODO; move to state
prompt: None,
};
Ok(app)
}
fn render(&mut self) {
let viewport = Rect::new(OFFSET, 0, self.terminal.size.0, self.terminal.size.1 - 2); // - 2 for statusline and prompt
if let Some(view) = &mut self.editor.view {
self.terminal.render_view(view, viewport);
2020-10-19 21:39:35 +04:00
if let Some(prompt) = &self.prompt {
if prompt.should_close {
self.prompt = None;
} else {
self.terminal.render_prompt(view, prompt);
}
}
}
2020-10-16 11:58:26 +04:00
self.terminal.draw();
// TODO: drop unwrap
self.terminal.render_cursor(
self.editor.view.as_ref().unwrap(),
self.prompt.as_ref(),
viewport,
);
}
pub async fn event_loop(&mut self) {
2020-06-07 16:11:08 +04:00
let mut reader = EventStream::new();
let keymap = keymap::default();
self.render();
2020-06-04 03:05:01 +04:00
loop {
2020-10-16 09:37:12 +04:00
if self.editor.should_close {
2020-10-15 14:08:01 +04:00
break;
}
2020-10-16 09:37:12 +04:00
// Handle key events
match reader.next().await {
2020-09-19 06:56:56 +04:00
Some(Ok(Event::Resize(width, height))) => {
self.terminal.resize(width, height);
2020-09-19 06:56:56 +04:00
// TODO: simplistic ensure cursor in view for now
if let Some(view) = &mut self.editor.view {
view.size = self.terminal.size;
view.ensure_cursor_in_view()
};
2020-09-19 06:56:56 +04:00
self.render();
}
Some(Ok(Event::Key(event))) => {
2020-10-16 09:37:12 +04:00
// if there's a prompt, it takes priority
if let Some(prompt) = &mut self.prompt {
self.prompt
.as_mut()
.unwrap()
.handle_input(event, &mut self.editor);
2020-10-16 11:58:26 +04:00
self.render();
2020-10-16 09:37:12 +04:00
} else if let Some(view) = &mut self.editor.view {
2020-10-10 00:05:57 +04:00
let keys = vec![event];
2020-10-16 09:37:12 +04:00
// TODO: sequences (`gg`)
// TODO: handle count other than 1
match view.state.mode() {
2020-09-05 17:01:05 +04:00
Mode::Insert => {
2020-10-01 03:15:42 +04:00
if let Some(command) = keymap[&Mode::Insert].get(&keys) {
command(view, 1);
2020-10-01 10:28:05 +04:00
} else if let KeyEvent {
code: KeyCode::Char(c),
..
} = event
{
commands::insert::insert_char(view, c);
2020-09-05 17:01:05 +04:00
}
view.ensure_cursor_in_view();
2020-09-05 17:01:05 +04:00
}
2020-10-16 11:58:26 +04:00
Mode::Normal => {
if let &[KeyEvent {
code: KeyCode::Char(':'),
..
}] = keys.as_slice()
{
let prompt = Prompt::new(
":".to_owned(),
2020-10-19 21:39:35 +04:00
|_input: &str| {
let placeholder_list = vec![
2020-10-19 22:08:47 +04:00
String::from("q"),
2020-10-19 21:39:35 +04:00
String::from("aaa"),
String::from("bbb"),
String::from("ccc"),
];
let mut matches = vec![];
for command in placeholder_list {
if command.contains(_input) {
matches.push(command);
}
}
if matches.len() != 0 {
return Some(matches);
}
None
}, // completion
2020-10-16 11:58:26 +04:00
|editor: &mut Editor, input: &str| match input {
"q" => editor.should_close = true,
_ => (),
},
);
self.prompt = Some(prompt);
// HAXX: special casing for command mode
} else if let Some(command) = keymap[&Mode::Normal].get(&keys) {
command(view, 1);
// TODO: simplistic ensure cursor in view for now
view.ensure_cursor_in_view();
}
}
2020-10-10 00:05:57 +04:00
mode => {
if let Some(command) = keymap[&mode].get(&keys) {
2020-10-05 01:47:37 +04:00
command(view, 1);
// TODO: simplistic ensure cursor in view for now
view.ensure_cursor_in_view();
2020-09-05 17:01:05 +04:00
}
}
2020-06-07 16:11:08 +04:00
}
2020-10-10 00:05:57 +04:00
self.render();
2020-06-07 16:11:08 +04:00
}
2020-06-04 03:05:01 +04:00
}
2020-10-16 09:37:12 +04:00
Some(Ok(Event::Mouse(_))) => (), // unhandled
2020-06-07 16:11:08 +04:00
Some(Err(x)) => panic!(x),
None => break,
2020-06-04 03:05:01 +04:00
}
}
}
pub async fn run(&mut self) -> Result<(), Error> {
2020-06-04 03:05:01 +04:00
enable_raw_mode()?;
2020-06-04 03:05:01 +04:00
let mut stdout = stdout();
2020-06-05 14:21:27 +04:00
execute!(stdout, terminal::EnterAlternateScreen)?;
2020-09-19 06:57:22 +04: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);
}));
self.event_loop().await;
2020-06-05 14:21:27 +04:00
2020-09-05 17:01:05 +04:00
// reset cursor shape
write!(stdout, "\x1B[2 q");
2020-06-07 16:11:08 +04:00
execute!(stdout, terminal::LeaveAlternateScreen)?;
disable_raw_mode()?;
Ok(())
2020-06-01 12:42:28 +04:00
}
}
2020-09-09 10:48:25 +04: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)))