Blaž Hrastnik bb87b08fc9 Configure language servers via LanguageConfiguration.		2021-03-14 17:14:34 +09:00
..
document.rs	Configure language servers via LanguageConfiguration.	2021-03-14 17:14:34 +09:00
editor.rs	Configure language servers via LanguageConfiguration.	2021-03-14 17:14:34 +09:00
lib.rs	View tree implementation: render multiple split views.	2021-02-03 19:36:54 +09:00
theme.rs	Use diagnostic.severity to distinguish between error colors.	2021-03-11 16:31:49 +09:00
tree.rs	view: Reposition cursors on tree resize.	2021-02-26 15:53:19 +09:00
view.rs	Cleanup: use doc.selection() instead of doc.state.selection().	2021-03-14 17:14:34 +09:00