Merge pull request #1522 from zed-industries/terminal-mouse

Terminal mouse mode
2022-08-19 15:19:27 -07:00
parent fad908e938 1de68a724c
commit 6122bc863d
19 changed files with 825 additions and 303 deletions
@@ -1610,6 +1610,7 @@ impl Element for EditorElement {
                position,
                delta,
                precise,
+                ..
            }) => self.scroll(*position, *delta, *precise, layout, paint, cx),

            &Event::ModifiersChanged(event) => self.modifiers_changed(event, cx),