Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added fold changes on gutter hover

Browse source
This commit is contained in:
Mikayla Maki 2023-02-26 18:32:13 -08:00
parent 2036fc48b5
commit 89b93d4f6f
5 changed files with 49 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/editor/src/display_map.rs
View file

@ -24,7 +24,7 @@ pub use block_map::{
BlockDisposition, BlockId, BlockProperties, BlockStyle, RenderBlock, TransformBlock,
};
#[derive(Copy, Clone, Debug)]
#[derive(Copy, Clone, Debug, PartialEq, Eq)]
pub enum FoldStatus {
Folded,
Foldable,