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

auto merge of #4737 : glennw/servo/poll-events, r=kmcallister

Browse source
This commit is contained in:
bors-servo 2015-01-27 22:51:55 -07:00
commit e122d76fa9
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;