зеркало из https://github.com/mozilla/gecko-dev.git
servo: Merge #4737 - Temporary workaround for change in wait_events behaviour in glutin (from glennw:poll-events); r=kmcallister
Source-Repo: https://github.com/servo/servo Source-Revision: e122d76fa914375e13e7f3983bfe9d0f660b4d04
This commit is contained in:
Родитель
78741af324
Коммит
ecde6d577d
|
@ -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;
|
||||
|
|
Загрузка…
Ссылка в новой задаче