working on selection and scrolling in terminals

2022-06-28 15:45:27 -07:00
parent f58a15bbb1
commit 9e55c60b6a
4 changed files with 324 additions and 154 deletions
@@ -4881,6 +4881,7 @@ dependencies = [
 "futures",
 "gpui",
 "mio-extras",
+ "ordered-float",
 "project",
 "settings",
 "smallvec",