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 39bf1ca825 Update deps.		4 years ago
..
commands.rs	Save command	4 years ago
document.rs	Update deps.	4 years ago
editor.rs	clippy lint	4 years ago
keymap.rs	Text change generation, RPC call handling.	4 years ago
lib.rs	Refactor: Document type as a wrapper around barebones State.	4 years ago
prompt.rs	added col_height calculation	4 years ago
theme.rs	Total mess but it works: diagnostic marking.	4 years ago
view.rs	clippy lint	4 years ago