From 1651b419353058e71b91eec03e447a7acc20e7f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fernando=20Jim=C3=A9nez=20Moreno?= <ferjmoreno@gmail.com>
Date: Fri, 20 Sep 2019 11:28:54 +0200
Subject: [PATCH] Go back to original window size after exiting fullscreen

---
 ports/glutin/headed_window.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/glutin/headed_window.rs b/ports/glutin/headed_window.rs
index 5d043c9378d1..bc423364a642 100644
--- a/ports/glutin/headed_window.rs
+++ b/ports/glutin/headed_window.rs
@@ -325,7 +325,7 @@ impl WindowPortsMethods for Window {
     fn set_fullscreen(&self, state: bool) {
         if self.fullscreen.get() != state {
             self.gl_context.borrow_mut().window()
-                .set_fullscreen(Some(self.primary_monitor.clone()));
+                .set_fullscreen(if state { Some(self.primary_monitor.clone()) } else { None });
         }
         self.fullscreen.set(state);
     }