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