Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-17 11:25:35 +01:00
Code Issues Projects Releases Packages Wiki Activity

Avoid Esc shortcut to close Servo (#32603)

Browse source 
* Avoid Esc shortcut to close Servo

Keep Esc shortcut to leave fullscreen, but avoid to close Servo
(as this is not common in other similar apps,
and can be shortcut used in some web apps for other things).

* Send Esc to the page
This commit is contained in:
Manuel Rego Casasnovas 2024-06-27 05:43:05 +02:00 • committed by GitHub
parent aa99c85645
commit 574a22a6cd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ports/servoshell/desktop/webview.rs
View file

@ -343,7 +343,7 @@ where
self.event_queue.push(event);
}
} else {
self.event_queue.push(EmbedderEvent::Quit);
self.platform_handle_key(key_event.clone());
}
})
.otherwise(|| self.platform_handle_key(key_event));