From e57df7173a449fdcf71aefe8733b0c86ab44b15c Mon Sep 17 00:00:00 2001 From: Brendan Zabarauskas Date: Fri, 17 Jun 2016 23:02:04 +1000 Subject: [PATCH] Simplify window size accessing --- examples/support/mod.rs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/examples/support/mod.rs b/examples/support/mod.rs index 55c272d..34e2e93 100644 --- a/examples/support/mod.rs +++ b/examples/support/mod.rs @@ -76,10 +76,9 @@ impl Support { target.clear_color(clear_color.0, clear_color.1, clear_color.2, clear_color.3); - // Early return if the window closes before we get the sizes - let window = match self.display.get_window() { Some(x) => x, None => return }; - let size_points = match window.get_inner_size_points() { Some(x) => x, None => return }; - let size_pixels = match window.get_inner_size_pixels() { Some(x) => x, None => return }; + let window = self.display.get_window().unwrap(); + let size_points = window.get_inner_size_points().unwrap(); + let size_pixels = window.get_inner_size_pixels().unwrap(); let ui = self.imgui.frame(size_points, size_pixels, delta_f);