Add search bar to terminal panel

2023-05-25 14:46:10 +02:00
parent dba7ec4a35
commit 414b97adce
3 changed files with 5 additions and 0 deletions
@@ -6809,6 +6809,7 @@ dependencies = [
 "procinfo",
 "project",
 "rand 0.8.5",
+ "search",
 "serde",
 "serde_derive",
 "settings",