Stabilize Markdown editing, selection and popup geometry
This commit is contained in:
1 parent
07afade392
commit
f91c88261c
13 files changed
+490
-103
No files matched your search
+5
-2
@@ -184,5 +184,8 @@ winit = { path = "third_party/winit-0.30.13" }
|
||||
#
|
||||
# 当前精确引用包含补丁 1-3、6 及字体内存修补;Input 补丁 4-5 仍保持独立。
|
||||
gpui = { git = "https://github.com/Kuddev/zed", rev = "7c662384cd77c1d1e1566206920e3a420ea6767b", version = "=0.2.2" }
|
||||
gpui-component = { git = "https://github.com/Kuddev/gpui-component", rev = "e411cc06dfff83a96c4705076483a87a26ea992d", version = "=0.5.2" }
|
||||
gpui-component-assets = { git = "https://github.com/Kuddev/gpui-component", rev = "e411cc06dfff83a96c4705076483a87a26ea992d", version = "=0.5.1" }
|
||||
# Native inputs share rendered text's device-pixel line height and expose a
|
||||
# post-paint point lookup. Window selection ends on release even when a child
|
||||
# consumes MouseUp or the platform reports the next move without a held button.
|
||||
gpui-component = { git = "https://github.com/Kuddev/gpui-component", rev = "f46ecbb06de5907af9700f3f6e2b5b0845459188", version = "=0.5.2" }
|
||||
gpui-component-assets = { git = "https://github.com/Kuddev/gpui-component", rev = "f46ecbb06de5907af9700f3f6e2b5b0845459188", version = "=0.5.1" }
|
||||
Reference in new issue
Block a user