wip
This commit is contained in:
parent
9fcebe783c
commit
f78b55f92d
1 changed files with 2 additions and 0 deletions
|
@ -2,6 +2,7 @@ pub mod display_map;
|
||||||
mod element;
|
mod element;
|
||||||
mod hover_popover;
|
mod hover_popover;
|
||||||
pub mod items;
|
pub mod items;
|
||||||
|
mod link_go_to_definition;
|
||||||
pub mod movement;
|
pub mod movement;
|
||||||
mod multi_buffer;
|
mod multi_buffer;
|
||||||
pub mod selections_collection;
|
pub mod selections_collection;
|
||||||
|
@ -432,6 +433,7 @@ pub struct Editor {
|
||||||
input_enabled: bool,
|
input_enabled: bool,
|
||||||
leader_replica_id: Option<u16>,
|
leader_replica_id: Option<u16>,
|
||||||
hover_state: HoverState,
|
hover_state: HoverState,
|
||||||
|
link_go_to_definition_state: LinkGoToDefinitionState,
|
||||||
}
|
}
|
||||||
|
|
||||||
pub struct EditorSnapshot {
|
pub struct EditorSnapshot {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue