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

Expose a method to toggle wr profiler

Browse source
This commit is contained in:
Paul Rouget 2017-03-19 09:55:17 +01:00
parent ae1a7cc7b8
commit b8cd715b3e
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/servo/lib.rs
View file

@ -242,6 +242,10 @@ impl<Window> Browser<Window> where Window: WindowMethods + 'static {
self.compositor.handle_events(events)
}
pub fn set_webrender_profiler_enabled(&mut self, enabled: bool) {
self.compositor.set_webrender_profiler_enabled(enabled);
}
pub fn repaint_synchronously(&mut self) {
self.compositor.repaint_synchronously()
}