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

549 lines
21 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, Theme, View};
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},
path::PathBuf,
time::Duration,
};
use smol::prelude::*;
2020-06-24 21:03:38 +02:00
use anyhow::Error;
2020-06-04 01:05:01 +02:00
use crossterm::{
cursor,
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},
};
use tui::{
backend::CrosstermBackend,
buffer::Buffer as Surface,
layout::Rect,
style::{Color, Style},
};
2020-10-09 22:05:57 +02:00
const OFFSET: u16 = 6; // 5 linenr + 1 gutter
type Terminal = tui::Terminal<CrosstermBackend<std::io::Stdout>>;
static EX: smol::Executor = smol::Executor::new();
2020-11-02 10:41:27 +01:00
const BASE_WIDTH: u16 = 30;
pub struct Application {
editor: Editor,
prompt: Option<Prompt>,
terminal: Renderer,
}
struct Renderer {
2020-06-19 02:14:29 +02:00
size: (u16, u16),
terminal: Terminal,
surface: Surface,
cache: Surface,
text_color: Style,
2020-06-05 12:21:27 +02: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-09 22:05:57 +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
}
// TODO: ideally not &mut View but highlights require it because of cursor cache
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);
self.surface.reset(); // reset is faster than allocating new empty surface
2020-09-19 04:55:15 +02:00
2020-10-09 22:05:57 +02:00
// clear with background color
self.surface.set_style(area, theme.get("ui.background"));
2020-10-09 22:05:57 +02:00
// TODO: inefficient, should feed chunks.iter() to tree_sitter.parse_with(|offset, pos|)
let source_code = view.state.doc().to_string();
2020-10-09 22:05:57 +02:00
let last_line = view.last_line();
2020-10-09 22:05:57 +02: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-09 22:05:57 +02:00
start..end
};
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
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-09 22:05:57 +02: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-09 22:05:57 +02:00
let text = view.state.doc().slice(start..end);
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() {
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-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-10-09 22:05:57 +02:00
// TODO: paint cursor heads except primary
self.surface
.set_string(OFFSET + visual_x, line, grapheme, style);
2020-10-01 21:16:24 +02:00
2020-10-09 22:05:57 +02:00
visual_x += width;
}
// if grapheme == "\t"
2020-10-01 21:16:24 +02:00
2020-10-09 22:05:57 +02:00
char_index += 1;
}
}
2020-10-09 22:05:57 +02:00
}
}
let style: Style = theme.get("ui.linenr");
2020-10-09 22:05:57 +02:00
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 19:54:16 +02:00
}
pub fn render_statusline(&mut self, view: &View, theme: &Theme) {
2020-10-09 22:05:57 +02:00
let mode = match view.state.mode() {
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),
theme.get("ui.statusline"),
2020-10-09 22:05:57 +02:00
);
2020-10-10 19:54:16 +02:00
self.surface
.set_string(1, self.size.1 - 2, mode, self.text_color);
2020-10-10 19:54:16 +02:00
}
2020-10-19 19:39:35 +02:00
pub fn render_prompt(&mut self, view: &View, prompt: &Prompt) {
// 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-19 19:39:35 +02:00
view.theme.get("ui.statusline"),
);
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
self.surface
2020-10-16 09:58:26 +02:00
.set_string(1, self.size.1 - 1, &prompt.prompt, self.text_color);
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-10-16 09:58:26 +02:00
pub fn draw(&mut self) {
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);
}
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();
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 09:58:26 +02:00
Position::new(self.size.0 as usize, 2 + prompt.cursor)
2020-10-09 22:05:57 +02: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 02:14:29 +02:00
}
2020-10-09 22:05:57 +02:00
let cursor = view.state.selection().cursor();
let mut pos = view
2020-10-09 22:05:57 +02: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-09 22:05:57 +02: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
// 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.
let theme_ref = unsafe { &*(&self.editor.theme as *const Theme) };
2020-10-19 09:20:59 +02:00
if let Some(view) = self.editor.view_mut() {
self.terminal.render_view(view, viewport, theme_ref);
2020-10-19 19:39:35 +02:00
if let Some(prompt) = &self.prompt {
if prompt.should_close {
self.prompt = None;
} else {
self.terminal.render_prompt(view, prompt);
}
}
}
2020-10-16 09:58:26 +02:00
self.terminal.draw();
// TODO: drop unwrap
2020-10-19 09:20:59 +02:00
self.terminal
.render_cursor(self.editor.view().unwrap(), self.prompt.as_ref(), viewport);
}
pub async fn event_loop(&mut self) {
2020-06-07 14:11:08 +02:00
let mut reader = EventStream::new();
let keymap = keymap::default();
self.render();
2020-06-04 01:05:01 +02:00
loop {
2020-10-16 07:37:12 +02:00
if self.editor.should_close {
2020-10-15 12:08:01 +02:00
break;
}
2020-10-16 07:37:12 +02:00
// Handle key events
match reader.next().await {
2020-09-19 04:56:56 +02:00
Some(Ok(Event::Resize(width, height))) => {
self.terminal.resize(width, height);
2020-09-19 04:56:56 +02:00
// TODO: simplistic ensure cursor in view for now
// TODO: loop over views
2020-10-19 09:20:59 +02:00
if let Some(view) = self.editor.view_mut() {
view.size = self.terminal.size;
view.ensure_cursor_in_view()
};
2020-09-19 04:56:56 +02:00
self.render();
}
Some(Ok(Event::Key(event))) => {
2020-10-16 07:37:12 +02: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 09:58:26 +02:00
self.render();
2020-10-19 09:20:59 +02:00
} else if let Some(view) = self.editor.view_mut() {
2020-10-09 22:05:57 +02:00
let keys = vec![event];
2020-10-16 07:37:12 +02:00
// TODO: sequences (`gg`)
// TODO: handle count other than 1
match view.state.mode() {
2020-09-05 15:01:05 +02:00
Mode::Insert => {
2020-10-01 01:15:42 +02:00
if let Some(command) = keymap[&Mode::Insert].get(&keys) {
command(view, 1);
2020-10-01 08:28:05 +02:00
} else if let KeyEvent {
code: KeyCode::Char(c),
..
} = event
{
commands::insert::insert_char(view, c);
2020-09-05 15:01:05 +02:00
}
view.ensure_cursor_in_view();
2020-09-05 15:01:05 +02:00
}
2020-10-16 09:58:26 +02:00
Mode::Normal => {
if let &[KeyEvent {
code: KeyCode::Char(':'),
..
}] = keys.as_slice()
{
let prompt = Prompt::new(
":".to_owned(),
2020-10-19 19:39:35 +02:00
|_input: &str| {
2020-10-20 23:02:02 +02:00
// TODO: i need this duplicate list right now to avoid borrow checker issues
2020-10-24 13:36:34 +02:00
let command_list = vec![
2020-10-19 20:08:47 +02:00
String::from("q"),
2020-10-19 19:39:35 +02:00
String::from("aaa"),
String::from("bbb"),
String::from("ccc"),
2020-10-30 12:22:58 +01:00
String::from("ddd"),
String::from("eee"),
2020-11-02 10:41:27 +01:00
String::from("averylongcommandaverylongcommandaverylongcommandaverylongcommandaverylongcommand"),
String::from("q"),
String::from("aaa"),
String::from("bbb"),
String::from("ccc"),
String::from("ddd"),
String::from("eee"),
String::from("q"),
String::from("aaa"),
String::from("bbb"),
String::from("ccc"),
String::from("ddd"),
String::from("eee"),
String::from("q"),
String::from("aaa"),
String::from("bbb"),
String::from("ccc"),
String::from("ddd"),
String::from("eee"),
String::from("q"),
String::from("aaa"),
String::from("bbb"),
String::from("ccc"),
String::from("ddd"),
String::from("eee"),
2020-10-19 19:39:35 +02:00
];
2020-11-03 10:57:12 +01:00
command_list
.into_iter()
.filter(|command| command.contains(_input))
.collect()
2020-10-19 19:39:35 +02:00
}, // completion
2020-10-16 09:58:26 +02: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-09 22:05:57 +02:00
mode => {
if let Some(command) = keymap[&mode].get(&keys) {
2020-10-04 23:47:37 +02:00
command(view, 1);
// TODO: simplistic ensure cursor in view for now
view.ensure_cursor_in_view();
2020-09-05 15:01:05 +02:00
}
}
2020-06-07 14:11:08 +02:00
}
2020-10-09 22:05:57 +02:00
self.render();
2020-06-07 14:11:08 +02:00
}
2020-06-04 01:05:01 +02:00
}
2020-10-16 07:37:12 +02:00
Some(Ok(Event::Mouse(_))) => (), // unhandled
2020-06-07 14:11:08 +02:00
Some(Err(x)) => panic!(x),
None => break,
2020-06-04 01:05:01 +02:00
}
}
}
pub async fn run(&mut self) -> Result<(), Error> {
2020-06-04 01:05:01 +02:00
enable_raw_mode()?;
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);
}));
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)?;
disable_raw_mode()?;
Ok(())
2020-06-01 10:42:28 +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)))