Blaž Hrastnik 1b5316ea74 Track document modified state.		2021-03-30 18:23:12 +09:00
..
document.rs	Track document modified state.	2021-03-30 18:23:12 +09:00
editor.rs	view: document.rs cleanup	2021-03-29 15:22:43 +09:00
lib.rs	Derive a separate ViewId type.	2021-03-24 14:03:20 +09:00
theme.rs	Clippy lint	2021-03-25 17:45:52 +09:00
tree.rs	editor.open can now either replace the current view or open in a split.	2021-03-24 14:28:26 +09:00
view.rs	Store intra-files jumps (goto) on the jumplist.	2021-03-29 16:32:42 +09:00