You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Blaž Hrastnik 05c7fb98df Refactoring: move language_servers into Editor, proper load for doc.		4 years ago
..
document.rs	Address clippy lints.	4 years ago
editor.rs	Refactoring: move language_servers into Editor, proper load for doc.	4 years ago
lib.rs	move commands and keymap back to terminal.	4 years ago
theme.rs	Total mess but it works: diagnostic marking.	4 years ago
view.rs	clippy lint	4 years ago