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 |
view.rs
|
Store intra-files jumps (goto) on the jumplist.
|
2021-03-29 16:32:42 +09:00 |