Merge pull request PistonDevelopers#1037 from Thomasdezeeuw/winit-ref…

…resh

Add Input::Redraw

src/backend/winit.rs

@@ -154,6 +154,10 @@ pub fn convert_window_event<W>(e: winit::WindowEvent, window: &W) -> Option<Inpu
                 Some(Input::Release(input::Button::Mouse(map_mouse(button))).into()),
         },
 
+        winit::WindowEvent::Refresh => {
+            Some(Input::Redraw)
+        },
+
         _ => None,
     }
 }

src/event.rs

@@ -72,6 +72,8 @@ pub enum Input {
     Text(String),
     /// The window was focused or lost focus.
     Focus(bool),
+    /// The backed requested to redraw.
+    Redraw,
 }
 
 
@@ -82,7 +84,7 @@ pub enum Event {
     Raw(Input),
     /// Events that have been interpreted from `backend::RawEvent`s by the `Ui`.
     ///
-    /// Most events usually 
+    /// Most events usually
     Ui(Ui)
 }
 

src/ui.rs

@@ -890,6 +890,8 @@ impl Ui {
             },
 
             Input::Focus(_focused) => (),
+
+            Input::Redraw => self.needs_redraw(),
         }
     }