Merge branch 'main' into capture

2022-09-15 11:58:31 +02:00 · 2022-09-15 11:58:31 +02:00 · 9efa39e81e
commit 9efa39e81e
parent 0c422fadb8 29f46539f0
64 changed files with 2586 additions and 1431 deletions
--- a/crates/gpui/src/platform.rs
+++ b/crates/gpui/src/platform.rs
@ -195,6 +195,7 @@ pub enum PromptLevel {
 pub enum CursorStyle {
    Arrow,
    ResizeLeftRight,
+    ResizeUpDown,
    PointingHand,
    IBeam,
 }