2020-12-10 13:13:42 +04:00
|
|
|
use clap::ArgMatches as Args;
|
|
|
|
|
|
|
|
use helix_view::{document::Mode, Document, Editor, Theme, View};
|
2020-09-11 09:14:44 +04:00
|
|
|
|
2020-12-13 08:35:30 +04:00
|
|
|
use crate::compositor::Compositor;
|
|
|
|
use crate::ui;
|
2020-12-06 06:53:58 +04:00
|
|
|
|
2021-02-15 16:16:25 +04:00
|
|
|
use log::{error, info};
|
2020-10-29 09:06:33 +04:00
|
|
|
|
2020-09-11 09:14:44 +04:00
|
|
|
use std::{
|
2020-10-10 00:05:57 +04:00
|
|
|
io::{self, stdout, Stdout, Write},
|
2020-09-11 09:14:44 +04:00
|
|
|
path::PathBuf,
|
2020-12-23 10:50:16 +04:00
|
|
|
sync::Arc,
|
2020-09-11 09:14:44 +04:00
|
|
|
time::Duration,
|
|
|
|
};
|
|
|
|
|
|
|
|
use smol::prelude::*;
|
|
|
|
|
2020-06-24 23:03:38 +04:00
|
|
|
use anyhow::Error;
|
2020-09-11 09:14:44 +04:00
|
|
|
|
2020-06-04 03:05:01 +04:00
|
|
|
use crossterm::{
|
2020-12-13 08:35:30 +04:00
|
|
|
event::{Event, EventStream},
|
|
|
|
execute, terminal,
|
2020-06-04 03:05:01 +04:00
|
|
|
};
|
2020-09-08 09:32:20 +04:00
|
|
|
|
2021-03-08 12:00:32 +04:00
|
|
|
use tui::layout::Rect;
|
2020-11-02 13:41:27 +04:00
|
|
|
|
2020-12-13 07:23:50 +04:00
|
|
|
pub struct Application {
|
2020-12-06 06:53:58 +04:00
|
|
|
compositor: Compositor,
|
2020-12-11 13:25:09 +04:00
|
|
|
editor: Editor,
|
2020-12-06 06:53:58 +04:00
|
|
|
|
2020-12-13 07:23:50 +04:00
|
|
|
executor: &'static smol::Executor<'static>,
|
2020-10-16 07:29:22 +04:00
|
|
|
}
|
|
|
|
|
2020-12-13 07:23:50 +04:00
|
|
|
impl Application {
|
|
|
|
pub fn new(mut args: Args, executor: &'static smol::Executor<'static>) -> Result<Self, Error> {
|
2021-03-08 12:00:32 +04:00
|
|
|
let mut compositor = Compositor::new()?;
|
|
|
|
let size = compositor.size();
|
2021-02-03 14:36:54 +04:00
|
|
|
let mut editor = Editor::new(size);
|
2020-12-06 06:53:58 +04:00
|
|
|
|
2021-02-03 14:36:54 +04:00
|
|
|
let files = args.values_of_t::<PathBuf>("files").unwrap();
|
|
|
|
for file in files {
|
|
|
|
editor.open(file, executor)?;
|
2020-12-06 06:53:58 +04:00
|
|
|
}
|
|
|
|
|
2020-12-13 08:35:30 +04:00
|
|
|
compositor.push(Box::new(ui::EditorView::new()));
|
2020-12-06 06:53:58 +04:00
|
|
|
|
|
|
|
let mut app = Self {
|
2020-12-11 13:25:09 +04:00
|
|
|
editor,
|
2020-12-06 06:53:58 +04:00
|
|
|
compositor,
|
|
|
|
|
|
|
|
executor,
|
|
|
|
};
|
|
|
|
|
|
|
|
Ok(app)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn render(&mut self) {
|
2020-12-13 07:23:50 +04:00
|
|
|
let executor = &self.executor;
|
|
|
|
let editor = &mut self.editor;
|
2021-03-08 12:00:32 +04:00
|
|
|
let compositor = &mut self.compositor;
|
2020-12-13 07:23:50 +04:00
|
|
|
|
2021-03-08 12:32:13 +04:00
|
|
|
let mut cx = crate::compositor::Context {
|
|
|
|
editor,
|
|
|
|
executor,
|
|
|
|
scroll: None,
|
|
|
|
};
|
2020-12-13 07:23:50 +04:00
|
|
|
|
2021-03-08 12:00:32 +04:00
|
|
|
compositor.render(&mut cx);
|
2020-12-06 06:53:58 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
pub async fn event_loop(&mut self) {
|
|
|
|
let mut reader = EventStream::new();
|
|
|
|
|
|
|
|
self.render();
|
|
|
|
|
|
|
|
loop {
|
2021-02-19 12:46:43 +04:00
|
|
|
if self.editor.should_close() {
|
2020-12-11 13:25:09 +04:00
|
|
|
break;
|
|
|
|
}
|
2020-12-06 06:53:58 +04:00
|
|
|
|
|
|
|
use futures_util::{select, FutureExt};
|
|
|
|
select! {
|
|
|
|
event = reader.next().fuse() => {
|
|
|
|
self.handle_terminal_events(event)
|
|
|
|
}
|
2021-01-21 11:55:46 +04:00
|
|
|
call = self.editor.language_servers.incoming.next().fuse() => {
|
2020-12-06 06:53:58 +04:00
|
|
|
self.handle_language_server_message(call).await
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn handle_terminal_events(&mut self, event: Option<Result<Event, crossterm::ErrorKind>>) {
|
2020-12-11 13:25:09 +04:00
|
|
|
let mut cx = crate::compositor::Context {
|
|
|
|
editor: &mut self.editor,
|
|
|
|
executor: &self.executor,
|
2021-03-08 12:32:13 +04:00
|
|
|
scroll: None,
|
2020-12-11 13:25:09 +04:00
|
|
|
};
|
2020-12-06 06:53:58 +04:00
|
|
|
// Handle key events
|
2020-12-11 13:25:09 +04:00
|
|
|
let should_redraw = match event {
|
2020-12-06 06:53:58 +04:00
|
|
|
Some(Ok(Event::Resize(width, height))) => {
|
2021-03-08 12:00:32 +04:00
|
|
|
self.compositor.resize(width, height);
|
2020-12-06 06:53:58 +04:00
|
|
|
|
|
|
|
self.compositor
|
2020-12-11 13:25:09 +04:00
|
|
|
.handle_event(Event::Resize(width, height), &mut cx)
|
2020-12-06 06:53:58 +04:00
|
|
|
}
|
2020-12-11 13:25:09 +04:00
|
|
|
Some(Ok(event)) => self.compositor.handle_event(event, &mut cx),
|
2021-02-09 10:40:30 +04:00
|
|
|
Some(Err(x)) => panic!("{}", x),
|
2020-10-20 08:58:34 +04:00
|
|
|
None => panic!(),
|
|
|
|
};
|
2020-12-11 13:25:09 +04:00
|
|
|
|
2021-02-19 12:46:43 +04:00
|
|
|
if should_redraw && !self.editor.should_close() {
|
2020-12-11 13:25:09 +04:00
|
|
|
self.render();
|
|
|
|
}
|
2020-10-20 08:58:34 +04:00
|
|
|
}
|
|
|
|
|
2020-10-29 09:06:33 +04:00
|
|
|
pub async fn handle_language_server_message(&mut self, call: Option<helix_lsp::Call>) {
|
2020-10-23 13:48:03 +04: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-22 11:58:00 +04:00
|
|
|
|
2021-02-05 12:50:31 +04:00
|
|
|
let view = self
|
|
|
|
.editor
|
|
|
|
.tree
|
|
|
|
.views()
|
|
|
|
.map(|(view, _key)| view)
|
2021-02-21 14:47:21 +04:00
|
|
|
.find(|view| view.doc.path() == path.as_ref());
|
2020-10-23 13:48:03 +04: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;
|
2021-02-18 13:34:22 +04:00
|
|
|
let start = lsp_pos_to_pos(doc, diagnostic.range.start);
|
|
|
|
let end = lsp_pos_to_pos(doc, diagnostic.range.end);
|
2020-10-23 13:48:03 +04:00
|
|
|
|
|
|
|
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 09:06:33 +04: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 13:48:03 +04:00
|
|
|
self.render();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => unreachable!(),
|
2020-10-20 10:42:53 +04:00
|
|
|
}
|
|
|
|
}
|
2020-10-23 13:48:03 +04:00
|
|
|
Some(Call::MethodCall(call)) => {
|
2021-02-15 16:16:25 +04:00
|
|
|
error!("Method not found {}", call.method);
|
2020-11-05 10:15:19 +04:00
|
|
|
|
2021-01-21 11:55:46 +04:00
|
|
|
// 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 13:48:03 +04:00
|
|
|
}
|
2021-01-21 11:55:46 +04:00
|
|
|
None => (),
|
2020-12-25 12:42:50 +04:00
|
|
|
e => unreachable!("{:?}", e),
|
2020-05-25 08:02:21 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-09-04 13:18:40 +04:00
|
|
|
pub async fn run(&mut self) -> Result<(), Error> {
|
2020-12-13 08:35:30 +04:00
|
|
|
terminal::enable_raw_mode()?;
|
2020-05-25 08:02:21 +04:00
|
|
|
|
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);
|
2020-12-13 08:35:30 +04:00
|
|
|
terminal::disable_raw_mode();
|
2020-09-19 06:57:22 +04:00
|
|
|
hook(info);
|
|
|
|
}));
|
|
|
|
|
2020-09-13 06:32:37 +04:00
|
|
|
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)?;
|
|
|
|
|
2020-12-13 08:35:30 +04:00
|
|
|
terminal::disable_raw_mode()?;
|
2020-06-16 13:00:34 +04:00
|
|
|
|
|
|
|
Ok(())
|
2020-06-01 12:42:28 +04:00
|
|
|
}
|
2020-05-25 08:02:21 +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)))
|