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

Move WR profiler keybindings to glutin window, where the other keybindings

Browse source 
are located
This commit is contained in:
Tremoneck 2017-07-10 12:43:01 +02:00
parent 95a85a301f
commit e5e3748a46
3 changed files with 12 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ports/glutin/window.rs
View file

@ -1290,6 +1290,9 @@ impl WindowMethods for Window {
self.event_queue.borrow_mut().push(WindowEvent::Quit);
}
}
(CONTROL, None, Key::F12) => {
self.event_queue.borrow_mut().push(WindowEvent::ToggleWebRenderProfiler);
}
_ => {
self.platform_handle_key(key, mods);