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 143cfe13e0 minor: TODO comment cleanup		3 years ago
..
document.rs	minor: TODO comment cleanup	3 years ago
editor.rs	Implement keep_selections (filter selections on regex).	3 years ago
lib.rs	View tree implementation: render multiple split views.	3 years ago
theme.rs	Use diagnostic.severity to distinguish between error colors.	3 years ago
tree.rs	view: Reposition cursors on tree resize.	3 years ago
view.rs	minor: TODO comment cleanup	3 years ago