fix bugs

juchiast · juchiast · commit 9ffc32f17835 · 2017-03-18T01:49:54.000+07:00
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);

Original file line number	Diff line number	Diff line change
`@@ -141,7 +141,11 @@ fn start_game(config: &mut GameConfig, first_time: bool) -> Option<::std::thread`
`141`	`141`	`return Some(::std::thread::spawn(\|\| Game::new(config).run()));`
`142`	`142`	`}`
`143`	`143`	`}`
`144`		`-`
	`144`	`+ // Hot-fix for a bug: window does not redraw after`
	`145`	`+ // minimized and maximized again.`
	`146`	`+ if let glium::glutin::Event::Focused(true) = event {`
	`147`	`+ ui.needs_redraw();`
	`148`	`+ }`
`145`	`149`	`// Draw the GUI`
`146`	`150`	`if let Some(whatever) = ui.draw_if_changed() {`
`147`	`151`	`renderer.fill(&display, whatever, &image_map);`