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

Temporary workaround for change in wait_events behaviour in glutin

Browse source
This commit is contained in:
Glenn Watson 2015-01-28 15:40:34 +10:00
parent 3f9012864a
commit e936349cdf
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ports/glutin/window.rs
View file

@ -307,7 +307,11 @@ impl Window {
}
}
} else {
for event in self.window.wait_events() {
// GWTODO: Something has changed in the wait_events
// behaviour in glutin. Switching to poll events
// for now, so that things display correctly,
// need to fix glutin / handle the changed behaviour.
for event in self.window.poll_events() {
close_event = self.handle_window_event(event);
if close_event {
break;