2021-06-19 15:26:52 +04:00
|
|
|
use helix_core::syntax;
|
2021-07-01 21:41:20 +04:00
|
|
|
use helix_lsp::{lsp, util::lsp_pos_to_pos, LspProgressMap};
|
|
|
|
use helix_view::{theme, Editor};
|
|
|
|
|
|
|
|
use crate::{args::Args, compositor::Compositor, config::Config, job::Jobs, ui};
|
2020-12-06 06:53:58 +04:00
|
|
|
|
2021-07-01 21:41:20 +04:00
|
|
|
use log::error;
|
2020-10-29 09:06:33 +04:00
|
|
|
|
2020-09-11 09:14:44 +04:00
|
|
|
use std::{
|
2021-07-01 21:41:20 +04:00
|
|
|
io::{stdout, Write},
|
2020-12-23 10:50:16 +04:00
|
|
|
sync::Arc,
|
2021-07-03 20:19:59 +04:00
|
|
|
time::{Duration, Instant},
|
2020-09-11 09:14:44 +04:00
|
|
|
};
|
|
|
|
|
2021-07-01 21:41:20 +04:00
|
|
|
use anyhow::Error;
|
2020-09-11 09:14:44 +04:00
|
|
|
|
2020-06-04 03:05:01 +04:00
|
|
|
use crossterm::{
|
2021-07-30 11:52:00 +04:00
|
|
|
event::{DisableMouseCapture, EnableMouseCapture, Event, EventStream},
|
2020-12-13 08:35:30 +04:00
|
|
|
execute, terminal,
|
2020-06-04 03:05:01 +04:00
|
|
|
};
|
2021-07-17 18:47:08 +04:00
|
|
|
#[cfg(not(windows))]
|
2021-07-26 20:18:41 +04:00
|
|
|
use {
|
|
|
|
signal_hook::{consts::signal, low_level},
|
|
|
|
signal_hook_tokio::Signals,
|
|
|
|
};
|
|
|
|
#[cfg(windows)]
|
|
|
|
type Signals = futures_util::stream::Empty<()>;
|
2020-09-08 09:32:20 +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
|
|
|
|
2021-06-22 21:04:04 +04:00
|
|
|
// TODO should be separate to take only part of the config
|
2021-06-21 07:44:50 +04:00
|
|
|
config: Config,
|
|
|
|
|
2021-07-01 22:57:12 +04:00
|
|
|
// Currently never read from. Remove the `allow(dead_code)` when
|
|
|
|
// that changes.
|
|
|
|
#[allow(dead_code)]
|
2021-06-19 15:26:52 +04:00
|
|
|
theme_loader: Arc<theme::Loader>,
|
2021-07-01 22:57:12 +04:00
|
|
|
|
|
|
|
// Currently never read from. Remove the `allow(dead_code)` when
|
|
|
|
// that changes.
|
|
|
|
#[allow(dead_code)]
|
2021-06-19 15:26:52 +04:00
|
|
|
syn_loader: Arc<syntax::Loader>,
|
2021-06-18 07:43:24 +04:00
|
|
|
|
2021-07-17 18:47:08 +04:00
|
|
|
signals: Signals,
|
2021-06-28 16:48:38 +04:00
|
|
|
jobs: Jobs,
|
2021-06-18 07:43:24 +04:00
|
|
|
lsp_progress: LspProgressMap,
|
2020-10-16 07:29:22 +04:00
|
|
|
}
|
|
|
|
|
2020-12-13 07:23:50 +04:00
|
|
|
impl Application {
|
2021-07-01 22:57:12 +04:00
|
|
|
pub fn new(args: Args, mut config: Config) -> Result<Self, Error> {
|
2021-04-06 14:02:22 +04:00
|
|
|
use helix_view::editor::Action;
|
2021-03-08 12:00:32 +04:00
|
|
|
let mut compositor = Compositor::new()?;
|
|
|
|
let size = compositor.size();
|
2021-06-19 15:26:52 +04:00
|
|
|
|
|
|
|
let conf_dir = helix_core::config_dir();
|
|
|
|
|
|
|
|
let theme_loader =
|
|
|
|
std::sync::Arc::new(theme::Loader::new(&conf_dir, &helix_core::runtime_dir()));
|
|
|
|
|
|
|
|
// load $HOME/.config/helix/languages.toml, fallback to default config
|
|
|
|
let lang_conf = std::fs::read(conf_dir.join("languages.toml"));
|
|
|
|
let lang_conf = lang_conf
|
|
|
|
.as_deref()
|
|
|
|
.unwrap_or(include_bytes!("../../languages.toml"));
|
|
|
|
|
2021-06-20 23:31:45 +04:00
|
|
|
let theme = if let Some(theme) = &config.theme {
|
2021-06-19 15:26:52 +04:00
|
|
|
match theme_loader.load(theme) {
|
|
|
|
Ok(theme) => theme,
|
|
|
|
Err(e) => {
|
|
|
|
log::warn!("failed to load theme `{}` - {}", theme, e);
|
|
|
|
theme_loader.default()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
theme_loader.default()
|
|
|
|
};
|
|
|
|
|
|
|
|
let syn_loader_conf = toml::from_slice(lang_conf).expect("Could not parse languages.toml");
|
|
|
|
let syn_loader = std::sync::Arc::new(syntax::Loader::new(syn_loader_conf));
|
|
|
|
|
2021-08-08 09:07:14 +04:00
|
|
|
let mut editor = Editor::new(
|
|
|
|
size,
|
|
|
|
theme_loader.clone(),
|
|
|
|
syn_loader.clone(),
|
|
|
|
config.editor.clone(),
|
|
|
|
);
|
2020-12-06 06:53:58 +04:00
|
|
|
|
2021-07-01 22:57:12 +04:00
|
|
|
let editor_view = Box::new(ui::EditorView::new(std::mem::take(&mut config.keys)));
|
2021-06-17 15:08:05 +04:00
|
|
|
compositor.push(editor_view);
|
2021-06-02 18:20:41 +04:00
|
|
|
|
2021-05-31 12:07:43 +04:00
|
|
|
if !args.files.is_empty() {
|
2021-06-02 18:20:41 +04:00
|
|
|
let first = &args.files[0]; // we know it's not empty
|
|
|
|
if first.is_dir() {
|
|
|
|
editor.new_file(Action::VerticalSplit);
|
|
|
|
compositor.push(Box::new(ui::file_picker(first.clone())));
|
|
|
|
} else {
|
2021-07-14 23:29:39 +04:00
|
|
|
let nr_of_files = args.files.len();
|
|
|
|
editor.open(first.to_path_buf(), Action::VerticalSplit)?;
|
2021-06-02 18:20:41 +04:00
|
|
|
for file in args.files {
|
|
|
|
if file.is_dir() {
|
|
|
|
return Err(anyhow::anyhow!(
|
|
|
|
"expected a path to file, found a directory. (to open a directory pass it as first argument)"
|
|
|
|
));
|
|
|
|
} else {
|
2021-07-14 23:29:39 +04:00
|
|
|
editor.open(file.to_path_buf(), Action::Load)?;
|
2021-06-02 18:20:41 +04:00
|
|
|
}
|
|
|
|
}
|
2021-07-14 23:29:39 +04:00
|
|
|
editor.set_status(format!("Loaded {} files.", nr_of_files));
|
2021-04-06 14:02:22 +04:00
|
|
|
}
|
|
|
|
} else {
|
2021-05-07 09:40:11 +04:00
|
|
|
editor.new_file(Action::VerticalSplit);
|
2020-12-06 06:53:58 +04:00
|
|
|
}
|
|
|
|
|
2021-06-19 15:26:52 +04:00
|
|
|
editor.set_theme(theme);
|
|
|
|
|
2021-07-26 20:18:41 +04:00
|
|
|
#[cfg(windows)]
|
|
|
|
let signals = futures_util::stream::empty();
|
2021-07-17 18:47:08 +04:00
|
|
|
#[cfg(not(windows))]
|
|
|
|
let signals = Signals::new(&[signal::SIGTSTP, signal::SIGCONT])?;
|
|
|
|
|
2021-07-01 22:57:12 +04:00
|
|
|
let app = Self {
|
2020-12-06 06:53:58 +04:00
|
|
|
compositor,
|
2021-03-22 07:26:04 +04:00
|
|
|
editor,
|
2020-12-06 06:53:58 +04:00
|
|
|
|
2021-06-21 07:44:50 +04:00
|
|
|
config,
|
|
|
|
|
2021-06-19 15:26:52 +04:00
|
|
|
theme_loader,
|
|
|
|
syn_loader,
|
2021-06-21 07:44:50 +04:00
|
|
|
|
2021-07-17 18:47:08 +04:00
|
|
|
signals,
|
2021-06-28 16:48:38 +04:00
|
|
|
jobs: Jobs::new(),
|
2021-06-18 07:43:24 +04:00
|
|
|
lsp_progress: LspProgressMap::new(),
|
2020-12-06 06:53:58 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
Ok(app)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn render(&mut self) {
|
2020-12-13 07:23:50 +04:00
|
|
|
let editor = &mut self.editor;
|
2021-03-08 12:00:32 +04:00
|
|
|
let compositor = &mut self.compositor;
|
2021-06-28 16:48:38 +04:00
|
|
|
let jobs = &mut self.jobs;
|
2020-12-13 07:23:50 +04:00
|
|
|
|
2021-03-08 12:32:13 +04:00
|
|
|
let mut cx = crate::compositor::Context {
|
|
|
|
editor,
|
2021-06-28 16:48:38 +04:00
|
|
|
jobs,
|
2021-03-08 12:32:13 +04:00
|
|
|
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();
|
2021-07-03 20:19:59 +04:00
|
|
|
let mut last_render = Instant::now();
|
|
|
|
let deadline = Duration::from_secs(1) / 60;
|
2020-12-06 06:53:58 +04:00
|
|
|
|
|
|
|
self.render();
|
|
|
|
|
|
|
|
loop {
|
2021-02-19 12:46:43 +04:00
|
|
|
if self.editor.should_close() {
|
2021-06-28 16:48:38 +04:00
|
|
|
self.jobs.finish();
|
2020-12-11 13:25:09 +04:00
|
|
|
break;
|
|
|
|
}
|
2020-12-06 06:53:58 +04:00
|
|
|
|
2021-07-03 20:19:59 +04:00
|
|
|
use futures_util::StreamExt;
|
2021-05-06 09:33:53 +04:00
|
|
|
|
2021-07-17 18:47:08 +04:00
|
|
|
tokio::select! {
|
|
|
|
biased;
|
|
|
|
|
|
|
|
event = reader.next() => {
|
|
|
|
self.handle_terminal_events(event)
|
|
|
|
}
|
|
|
|
Some(signal) = self.signals.next() => {
|
2021-07-26 20:18:41 +04:00
|
|
|
self.handle_signals(signal).await;
|
2021-07-17 18:47:08 +04:00
|
|
|
}
|
|
|
|
Some((id, call)) = self.editor.language_servers.incoming.next() => {
|
|
|
|
self.handle_language_server_message(call, id).await;
|
|
|
|
// limit render calls for fast language server messages
|
|
|
|
let last = self.editor.language_servers.incoming.is_empty();
|
|
|
|
if last || last_render.elapsed() > deadline {
|
|
|
|
self.render();
|
|
|
|
last_render = Instant::now();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Some(callback) = self.jobs.futures.next() => {
|
|
|
|
self.jobs.handle_callback(&mut self.editor, &mut self.compositor, callback);
|
|
|
|
self.render();
|
|
|
|
}
|
|
|
|
Some(callback) = self.jobs.wait_futures.next() => {
|
|
|
|
self.jobs.handle_callback(&mut self.editor, &mut self.compositor, callback);
|
|
|
|
self.render();
|
|
|
|
}
|
|
|
|
}
|
2021-07-26 20:18:41 +04:00
|
|
|
}
|
|
|
|
}
|
2021-07-03 20:19:59 +04:00
|
|
|
|
2021-07-26 20:18:41 +04:00
|
|
|
#[cfg(windows)]
|
|
|
|
// no signal handling available on windows
|
|
|
|
pub async fn handle_signals(&mut self, _signal: ()) {}
|
|
|
|
|
|
|
|
#[cfg(not(windows))]
|
|
|
|
pub async fn handle_signals(&mut self, signal: i32) {
|
|
|
|
use helix_view::graphics::Rect;
|
|
|
|
match signal {
|
|
|
|
signal::SIGTSTP => {
|
|
|
|
self.compositor.save_cursor();
|
|
|
|
self.restore_term().unwrap();
|
|
|
|
low_level::emulate_default_handler(signal::SIGTSTP).unwrap();
|
|
|
|
}
|
|
|
|
signal::SIGCONT => {
|
|
|
|
self.claim_term().await.unwrap();
|
|
|
|
// redraw the terminal
|
|
|
|
let Rect { width, height, .. } = self.compositor.size();
|
|
|
|
self.compositor.resize(width, height);
|
|
|
|
self.compositor.load_cursor();
|
|
|
|
self.render();
|
2020-12-06 06:53:58 +04:00
|
|
|
}
|
2021-07-26 20:18:41 +04:00
|
|
|
_ => unreachable!(),
|
2020-12-06 06:53:58 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
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,
|
2021-06-28 16:48:38 +04:00
|
|
|
jobs: &mut self.jobs,
|
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
|
|
|
}
|
|
|
|
|
2021-08-20 17:48:59 +04:00
|
|
|
pub async fn handle_debugger_message(&mut self, _call: ()) {
|
|
|
|
// TODO
|
2021-08-16 13:16:06 +04:00
|
|
|
}
|
|
|
|
|
2021-06-18 07:42:34 +04:00
|
|
|
pub async fn handle_language_server_message(
|
|
|
|
&mut self,
|
|
|
|
call: helix_lsp::Call,
|
|
|
|
server_id: usize,
|
|
|
|
) {
|
|
|
|
use helix_lsp::{Call, MethodCall, Notification};
|
2021-06-21 07:44:50 +04:00
|
|
|
let editor_view = self
|
|
|
|
.compositor
|
|
|
|
.find(std::any::type_name::<ui::EditorView>())
|
|
|
|
.expect("expected at least one EditorView");
|
|
|
|
let editor_view = editor_view
|
|
|
|
.as_any_mut()
|
|
|
|
.downcast_mut::<ui::EditorView>()
|
|
|
|
.unwrap();
|
|
|
|
|
2020-10-23 13:48:03 +04:00
|
|
|
match call {
|
2021-03-30 11:39:24 +04:00
|
|
|
Call::Notification(helix_lsp::jsonrpc::Notification { method, params, .. }) => {
|
2021-05-08 13:17:13 +04:00
|
|
|
let notification = match Notification::parse(&method, params) {
|
|
|
|
Some(notification) => notification,
|
|
|
|
None => return,
|
|
|
|
};
|
|
|
|
|
2020-10-23 13:48:03 +04:00
|
|
|
match notification {
|
|
|
|
Notification::PublishDiagnostics(params) => {
|
|
|
|
let path = Some(params.uri.to_file_path().unwrap());
|
2020-12-22 11:58:00 +04:00
|
|
|
|
2021-03-16 13:27:57 +04:00
|
|
|
let doc = self
|
2021-02-05 12:50:31 +04:00
|
|
|
.editor
|
2021-03-16 13:27:57 +04:00
|
|
|
.documents
|
|
|
|
.iter_mut()
|
2021-03-23 12:47:40 +04:00
|
|
|
.find(|(_, doc)| doc.path() == path.as_ref());
|
2021-03-16 13:27:57 +04:00
|
|
|
|
|
|
|
if let Some((_, doc)) = doc {
|
|
|
|
let text = doc.text();
|
2020-10-23 13:48:03 +04:00
|
|
|
|
|
|
|
let diagnostics = params
|
|
|
|
.diagnostics
|
|
|
|
.into_iter()
|
2021-06-12 11:04:30 +04:00
|
|
|
.filter_map(|diagnostic| {
|
2021-03-15 11:19:31 +04:00
|
|
|
use helix_core::{
|
2021-07-01 21:41:20 +04:00
|
|
|
diagnostic::{Range, Severity::*},
|
2021-03-15 11:19:31 +04:00
|
|
|
Diagnostic,
|
|
|
|
};
|
2021-03-11 11:31:49 +04:00
|
|
|
use lsp::DiagnosticSeverity;
|
2021-04-14 10:30:15 +04:00
|
|
|
|
|
|
|
let language_server = doc.language_server().unwrap();
|
|
|
|
|
|
|
|
// TODO: convert inside server
|
2021-06-12 11:04:30 +04:00
|
|
|
let start = if let Some(start) = lsp_pos_to_pos(
|
2021-04-14 10:30:15 +04:00
|
|
|
text,
|
|
|
|
diagnostic.range.start,
|
|
|
|
language_server.offset_encoding(),
|
2021-06-12 11:04:30 +04:00
|
|
|
) {
|
|
|
|
start
|
|
|
|
} else {
|
|
|
|
log::warn!("lsp position out of bounds - {:?}", diagnostic);
|
|
|
|
return None;
|
|
|
|
};
|
|
|
|
|
|
|
|
let end = if let Some(end) = lsp_pos_to_pos(
|
2021-04-14 10:30:15 +04:00
|
|
|
text,
|
|
|
|
diagnostic.range.end,
|
|
|
|
language_server.offset_encoding(),
|
2021-06-12 11:04:30 +04:00
|
|
|
) {
|
|
|
|
end
|
|
|
|
} else {
|
|
|
|
log::warn!("lsp position out of bounds - {:?}", diagnostic);
|
|
|
|
return None;
|
|
|
|
};
|
2020-10-23 13:48:03 +04:00
|
|
|
|
2021-06-12 11:04:30 +04:00
|
|
|
Some(Diagnostic {
|
2021-03-15 11:19:31 +04:00
|
|
|
range: Range { start, end },
|
2020-10-23 13:48:03 +04:00
|
|
|
line: diagnostic.range.start.line as usize,
|
|
|
|
message: diagnostic.message,
|
2021-03-11 11:31:49 +04:00
|
|
|
severity: diagnostic.severity.map(
|
|
|
|
|severity| match severity {
|
|
|
|
DiagnosticSeverity::Error => Error,
|
|
|
|
DiagnosticSeverity::Warning => Warning,
|
|
|
|
DiagnosticSeverity::Information => Info,
|
|
|
|
DiagnosticSeverity::Hint => Hint,
|
|
|
|
},
|
|
|
|
),
|
2020-10-23 13:48:03 +04:00
|
|
|
// code
|
|
|
|
// source
|
2021-06-12 11:04:30 +04:00
|
|
|
})
|
2020-10-23 13:48:03 +04:00
|
|
|
})
|
|
|
|
.collect();
|
|
|
|
|
2021-06-06 13:59:32 +04:00
|
|
|
doc.set_diagnostics(diagnostics);
|
2020-10-23 13:48:03 +04:00
|
|
|
}
|
|
|
|
}
|
2021-04-15 12:34:38 +04:00
|
|
|
Notification::ShowMessage(params) => {
|
|
|
|
log::warn!("unhandled window/showMessage: {:?}", params);
|
|
|
|
}
|
|
|
|
Notification::LogMessage(params) => {
|
|
|
|
log::warn!("unhandled window/logMessage: {:?}", params);
|
|
|
|
}
|
2021-06-11 07:42:16 +04:00
|
|
|
Notification::ProgressMessage(params) => {
|
2021-06-18 07:43:24 +04:00
|
|
|
let lsp::ProgressParams { token, value } = params;
|
|
|
|
|
|
|
|
let lsp::ProgressParamsValue::WorkDone(work) = value;
|
|
|
|
let parts = match &work {
|
2021-06-18 07:43:44 +04:00
|
|
|
lsp::WorkDoneProgress::Begin(lsp::WorkDoneProgressBegin {
|
|
|
|
title,
|
|
|
|
message,
|
|
|
|
percentage,
|
|
|
|
..
|
2021-06-18 07:43:24 +04:00
|
|
|
}) => (Some(title), message, percentage),
|
2021-06-18 07:43:44 +04:00
|
|
|
lsp::WorkDoneProgress::Report(lsp::WorkDoneProgressReport {
|
|
|
|
message,
|
|
|
|
percentage,
|
|
|
|
..
|
2021-06-18 07:43:24 +04:00
|
|
|
}) => (None, message, percentage),
|
|
|
|
lsp::WorkDoneProgress::End(lsp::WorkDoneProgressEnd { message }) => {
|
|
|
|
if message.is_some() {
|
|
|
|
(None, message, &None)
|
2021-06-18 07:43:44 +04:00
|
|
|
} else {
|
2021-06-18 07:43:24 +04:00
|
|
|
self.lsp_progress.end_progress(server_id, &token);
|
2021-06-20 23:31:45 +04:00
|
|
|
if !self.lsp_progress.is_progressing(server_id) {
|
2021-06-21 07:44:50 +04:00
|
|
|
editor_view.spinners_mut().get_or_create(server_id).stop();
|
2021-06-20 23:31:45 +04:00
|
|
|
}
|
2021-06-18 07:43:44 +04:00
|
|
|
self.editor.clear_status();
|
2021-06-21 12:14:50 +04:00
|
|
|
|
|
|
|
// we want to render to clear any leftover spinners or messages
|
2021-06-18 07:43:44 +04:00
|
|
|
return;
|
2021-06-11 07:42:16 +04:00
|
|
|
}
|
2021-06-18 07:43:44 +04:00
|
|
|
}
|
|
|
|
};
|
2021-06-20 23:31:45 +04:00
|
|
|
|
2021-06-18 07:43:24 +04:00
|
|
|
let token_d: &dyn std::fmt::Display = match &token {
|
|
|
|
lsp::NumberOrString::Number(n) => n,
|
|
|
|
lsp::NumberOrString::String(s) => s,
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = match parts {
|
2021-06-18 07:43:44 +04:00
|
|
|
(Some(title), Some(message), Some(percentage)) => {
|
2021-06-18 07:43:24 +04:00
|
|
|
format!("[{}] {}% {} - {}", token_d, percentage, title, message)
|
2021-06-18 07:43:44 +04:00
|
|
|
}
|
|
|
|
(Some(title), None, Some(percentage)) => {
|
2021-06-18 07:43:24 +04:00
|
|
|
format!("[{}] {}% {}", token_d, percentage, title)
|
2021-06-18 07:43:44 +04:00
|
|
|
}
|
|
|
|
(Some(title), Some(message), None) => {
|
2021-06-18 07:43:24 +04:00
|
|
|
format!("[{}] {} - {}", token_d, title, message)
|
2021-06-18 07:43:44 +04:00
|
|
|
}
|
|
|
|
(None, Some(message), Some(percentage)) => {
|
2021-06-18 07:43:24 +04:00
|
|
|
format!("[{}] {}% {}", token_d, percentage, message)
|
2021-06-18 07:43:44 +04:00
|
|
|
}
|
2021-06-18 07:43:24 +04:00
|
|
|
(Some(title), None, None) => {
|
|
|
|
format!("[{}] {}", token_d, title)
|
|
|
|
}
|
|
|
|
(None, Some(message), None) => {
|
|
|
|
format!("[{}] {}", token_d, message)
|
|
|
|
}
|
|
|
|
(None, None, Some(percentage)) => {
|
|
|
|
format!("[{}] {}%", token_d, percentage)
|
2021-06-11 07:42:16 +04:00
|
|
|
}
|
2021-06-18 07:43:24 +04:00
|
|
|
(None, None, None) => format!("[{}]", token_d),
|
2021-06-11 07:42:16 +04:00
|
|
|
};
|
2021-06-18 07:43:24 +04:00
|
|
|
|
|
|
|
if let lsp::WorkDoneProgress::End(_) = work {
|
|
|
|
self.lsp_progress.end_progress(server_id, &token);
|
2021-06-20 23:31:45 +04:00
|
|
|
if !self.lsp_progress.is_progressing(server_id) {
|
2021-06-21 07:44:50 +04:00
|
|
|
editor_view.spinners_mut().get_or_create(server_id).stop();
|
2021-06-20 23:31:45 +04:00
|
|
|
}
|
2021-06-18 07:43:24 +04:00
|
|
|
} else {
|
|
|
|
self.lsp_progress.update(server_id, token, work);
|
|
|
|
}
|
|
|
|
|
2021-06-21 07:44:50 +04:00
|
|
|
if self.config.lsp.display_messages {
|
2021-06-18 07:57:36 +04:00
|
|
|
self.editor.set_status(status);
|
|
|
|
}
|
2021-06-11 07:42:16 +04:00
|
|
|
}
|
2020-10-20 10:42:53 +04:00
|
|
|
}
|
|
|
|
}
|
2021-06-18 07:43:44 +04:00
|
|
|
Call::MethodCall(helix_lsp::jsonrpc::MethodCall {
|
2021-07-01 22:57:12 +04:00
|
|
|
method, params, id, ..
|
2021-06-18 07:43:44 +04:00
|
|
|
}) => {
|
|
|
|
let call = match MethodCall::parse(&method, params) {
|
|
|
|
Some(call) => call,
|
|
|
|
None => {
|
|
|
|
error!("Method not found {}", method);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
};
|
2020-11-05 10:15:19 +04:00
|
|
|
|
2021-06-18 07:43:44 +04:00
|
|
|
match call {
|
|
|
|
MethodCall::WorkDoneProgressCreate(params) => {
|
|
|
|
self.lsp_progress.create(server_id, params.token);
|
|
|
|
|
2021-06-21 07:44:50 +04:00
|
|
|
let spinner = editor_view.spinners_mut().get_or_create(server_id);
|
|
|
|
if spinner.is_stopped() {
|
|
|
|
spinner.start();
|
|
|
|
}
|
2021-06-20 23:31:45 +04:00
|
|
|
|
2021-06-18 07:43:44 +04:00
|
|
|
let doc = self.editor.documents().find(|doc| {
|
|
|
|
doc.language_server()
|
|
|
|
.map(|server| server.id() == server_id)
|
|
|
|
.unwrap_or_default()
|
|
|
|
});
|
|
|
|
match doc {
|
|
|
|
Some(doc) => {
|
|
|
|
// it's ok to unwrap, we check for the language server before
|
|
|
|
let server = doc.language_server().unwrap();
|
|
|
|
tokio::spawn(server.reply(id, Ok(serde_json::Value::Null)));
|
|
|
|
}
|
|
|
|
None => {
|
|
|
|
if let Some(server) =
|
|
|
|
self.editor.language_servers.get_by_id(server_id)
|
|
|
|
{
|
|
|
|
log::warn!(
|
|
|
|
"missing document with language server id `{}`",
|
|
|
|
server_id
|
|
|
|
);
|
|
|
|
tokio::spawn(server.reply(
|
|
|
|
id,
|
|
|
|
Err(helix_lsp::jsonrpc::Error {
|
|
|
|
code: helix_lsp::jsonrpc::ErrorCode::InternalError,
|
|
|
|
message: "document missing".to_string(),
|
|
|
|
data: None,
|
|
|
|
}),
|
|
|
|
));
|
|
|
|
} else {
|
|
|
|
log::warn!(
|
|
|
|
"can't find language server with id `{}`",
|
|
|
|
server_id
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
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
|
|
|
}
|
2020-12-25 12:42:50 +04:00
|
|
|
e => unreachable!("{:?}", e),
|
2020-05-25 08:02:21 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-07-17 18:47:08 +04:00
|
|
|
async fn claim_term(&mut self) -> Result<(), Error> {
|
2020-12-13 08:35:30 +04:00
|
|
|
terminal::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)?;
|
2021-08-08 09:07:14 +04:00
|
|
|
if self.config.editor.mouse {
|
2021-07-30 11:52:00 +04:00
|
|
|
execute!(stdout, EnableMouseCapture)?;
|
|
|
|
}
|
2021-07-17 18:47:08 +04:00
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
|
|
|
fn restore_term(&mut self) -> Result<(), Error> {
|
|
|
|
let mut stdout = stdout();
|
|
|
|
// reset cursor shape
|
|
|
|
write!(stdout, "\x1B[2 q")?;
|
|
|
|
execute!(stdout, DisableMouseCapture)?;
|
|
|
|
execute!(stdout, terminal::LeaveAlternateScreen)?;
|
|
|
|
terminal::disable_raw_mode()?;
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
|
|
|
pub async fn run(&mut self) -> Result<(), Error> {
|
|
|
|
self.claim_term().await?;
|
2020-06-05 14:21:27 +04:00
|
|
|
|
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| {
|
2021-07-01 23:08:00 +04:00
|
|
|
// We can't handle errors properly inside this closure. And it's
|
|
|
|
// probably not a good idea to `unwrap()` inside a panic handler.
|
|
|
|
// So we just ignore the `Result`s.
|
2021-07-30 11:52:00 +04:00
|
|
|
let _ = execute!(std::io::stdout(), DisableMouseCapture);
|
2021-07-01 23:08:00 +04:00
|
|
|
let _ = execute!(std::io::stdout(), terminal::LeaveAlternateScreen);
|
|
|
|
let _ = 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
|
|
|
|
2021-08-10 05:52:02 +04:00
|
|
|
if self.editor.close_language_servers(None).await.is_err() {
|
|
|
|
log::error!("Timed out waiting for language servers to shutdown");
|
|
|
|
};
|
2021-06-19 06:56:50 +04:00
|
|
|
|
2021-07-17 18:47:08 +04:00
|
|
|
self.restore_term()?;
|
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
|
|
|
}
|