scroll
|
Re-enable most of the functionalities in editor2
|
2023-11-08 11:30:32 +01:00 |
test
|
checkpoint
|
2023-11-08 23:16:04 -08:00 |
editor.rs
|
Simplify input handling (#3282)
|
2023-11-08 22:27:36 -07:00 |
editor_settings.rs
|
Into the woods
|
2023-11-02 18:52:08 -06:00 |
editor_tests.rs
|
checkpoint
|
2023-11-08 23:16:04 -08:00 |
element.rs
|
Simplify IME support
|
2023-11-08 21:06:00 -07:00 |
git.rs
|
WIP
|
2023-11-02 16:47:14 -06:00 |
hover_popover.rs
|
Clear hover background highlights
|
2023-11-08 15:08:54 +01:00 |
inlay_hint_cache.rs
|
WIP
|
2023-11-02 22:56:04 -06:00 |
items.rs
|
Update editor to use new event emitter
|
2023-11-08 19:52:43 -08:00 |
link_go_to_definition.rs
|
uncomment mouse moved
|
2023-11-08 14:24:28 +01:00 |
test.rs
|
checkpoint
|
2023-11-08 23:16:04 -08:00 |