Uncomment Editor::new

This commit is contained in:
Antonio Scandurra 2023-11-03 10:38:28 +01:00
parent 2fccde5ab6
commit 11feda01e3
3 changed files with 505 additions and 503 deletions

File diff suppressed because it is too large Load diff

View file

@ -299,9 +299,9 @@ impl Editor {
// cx.notify(); // cx.notify();
// } // }
// pub fn visible_line_count(&self) -> Option<f32> { pub fn visible_line_count(&self) -> Option<f32> {
// self.scroll_manager.visible_line_count self.scroll_manager.visible_line_count
// } }
// pub(crate) fn set_visible_line_count(&mut self, lines: f32, cx: &mut ViewContext<Self>) { // pub(crate) fn set_visible_line_count(&mut self, lines: f32, cx: &mut ViewContext<Self>) {
// let opened_first_time = self.scroll_manager.visible_line_count.is_none(); // let opened_first_time = self.scroll_manager.visible_line_count.is_none();

View file

@ -373,6 +373,10 @@ impl AppContext {
self.platform.reveal_path(path) self.platform.reveal_path(path)
} }
pub fn should_auto_hide_scrollbars(&self) -> bool {
self.platform.should_auto_hide_scrollbars()
}
pub(crate) fn push_effect(&mut self, effect: Effect) { pub(crate) fn push_effect(&mut self, effect: Effect) {
match &effect { match &effect {
Effect::Notify { emitter } => { Effect::Notify { emitter } => {