fix bugs

juchiast · Mar 17, 2017 · 9ffc32f · 9ffc32f
1 parent 22a4b42
commit 9ffc32f
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/ui.rs b/src/ui.rs
@@ -141,7 +141,11 @@ fn start_game(config: &mut GameConfig, first_time: bool) -> Option<::std::thread
                     return Some(::std::thread::spawn(|| Game::new(config).run()));
                 }
             }
-
+            // Hot-fix for a bug: window does not redraw after
+            // minimized and maximized again.
+            if let glium::glutin::Event::Focused(true) = event {
+                ui.needs_redraw();
+            }
             // Draw the GUI
             if let Some(whatever) = ui.draw_if_changed() {
                 renderer.fill(&display, whatever, &image_map);