# HG changeset patch
# User Stefano Rivera <stefano@rivera.za.net>
# Date 1378142444 -7200
# Node ID cd77974b2a8707702f3819491deb99c3ad33f6be
# Parent  076448ba0582f6f079332fe9a34aa4397ec2095f
Send a fake resize event, to discover the real window size under a tiling window manager

diff -r 076448ba0582 -r cd77974b2a87 nagslang/engine.py
--- a/nagslang/engine.py	Mon Sep 02 19:04:36 2013 +0200
+++ b/nagslang/engine.py	Mon Sep 02 19:20:44 2013 +0200
@@ -22,6 +22,10 @@
             'level1': AreaScreen,
         }
         self.change_screen('menu')
+        # Dummy resize event, to force us to realise our real size
+        # http://stackoverflow.com/q/16442573/8629
+        pygame.event.post(pygame.event.Event(pgl.VIDEORESIZE,
+                                             size=(0, 0), w=0, h=0))
 
     def change_screen(self, new_screen):
         if self._current_screen is not None: