Merge branch 'main' into finally-fix-terminal-line-height

This commit is contained in:
Mikayla Maki 2023-04-21 12:26:32 +12:00 committed by GitHub
commit f54ab73b47
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
50 changed files with 3598 additions and 2148 deletions

View file

@ -21,7 +21,7 @@ workspace = { path = "../workspace" }
db = { path = "../db" }
procinfo = { git = "https://github.com/zed-industries/wezterm", rev = "5cd757e5f2eb039ed0c6bb6512223e69d5efc64d", default-features = false }
terminal = { path = "../terminal" }
smallvec = { version = "1.6", features = ["union"] }
smallvec = { workspace = true }
smol = "1.2.5"
mio-extras = "2.0.6"
futures = "0.3"