mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-02 08:20:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Fix double-clicking titlebar to zoom (#9323)

Browse source 
Fixes https://github.com/zed-industries/zed/issues/9300

This was a regression caused by not inserting a hitbox when a div only
had click listeners on it.

Release Notes:

- Fixed a regression that disabled double-clicking on the titlebar to
zoom the window.
([#9300](https://github.com/zed-industries/zed/issues/9300))
(preview-only)
This commit is contained in:
Antonio Scandurra 2024-03-14 09:37:31 +01:00 committed by GitHub
parent bffde43c12
commit 51261c553f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
crates/gpui/src/elements/div.rs
View file

@ -1330,6 +1330,7 @@ impl Interactivity {
!self.mouse_up_listeners.is_empty() !self.mouse_up_listeners.is_empty()
|| !self.mouse_down_listeners.is_empty() || !self.mouse_down_listeners.is_empty()
|| !self.mouse_move_listeners.is_empty() || !self.mouse_move_listeners.is_empty()
|| !self.click_listeners.is_empty()
|| !self.scroll_wheel_listeners.is_empty() || !self.scroll_wheel_listeners.is_empty()
|| self.drag_listener.is_some() || self.drag_listener.is_some()
|| !self.drop_listeners.is_empty() || !self.drop_listeners.is_empty()