WIP - move terminal to project as pre-prep for collaboration

2022-12-08 20:21:00 -08:00
parent 7dde54b052
commit 1b8763d0cf
14 changed files with 95 additions and 30 deletions
@@ -48,7 +48,7 @@ rpc = { path = "../rpc" }
 settings = { path = "../settings" }
 sum_tree = { path = "../sum_tree" }
 text = { path = "../text" }
-terminal = { path = "../terminal" }
+terminal_view = { path = "../terminal_view" }
 theme = { path = "../theme" }
 theme_selector = { path = "../theme_selector" }
 theme_testbench = { path = "../theme_testbench" }