Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-24 06:45:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

report panic to embedder

Browse source
This commit is contained in:
Paul Rouget 2018-02-08 08:08:57 +01:00
parent d09bb477f9
commit ee25413c0f
5 changed files with 17 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ports/servo/glutin_app/window.rs
View file

@ -1354,6 +1354,10 @@ impl WindowMethods for Window {
fn supports_clipboard(&self) -> bool {
true
}
fn handle_panic(&self, _: BrowserId, _reason: String, _backtrace: Option<String>) {
// Nothing to do here yet. The crash has already been reported on the console.
}
}
fn glutin_phase_to_touch_event_type(phase: TouchPhase) -> TouchEventType {