Add Editor::remove_blocks

This commit is contained in:
Max Brunsfeld 2021-12-22 17:30:14 -08:00
parent 5d8ed535be
commit a86ba57983
4 changed files with 16 additions and 14 deletions

View file

@ -5,13 +5,11 @@ mod wrap_map;
use crate::{Anchor, MultiBuffer, MultiBufferSnapshot, ToOffset, ToPoint};
use block_map::{BlockMap, BlockPoint};
use collections::{HashMap, HashSet};
use fold_map::{FoldMap, ToFoldPoint as _};
use gpui::{fonts::FontId, Entity, ModelContext, ModelHandle};
use language::{Point, Subscription as BufferSubscription};
use std::{
collections::{HashMap, HashSet},
ops::Range,
};
use std::ops::Range;
use sum_tree::Bias;
use tab_map::TabMap;
use theme::SyntaxTheme;