[Wormux-dev] todo resizing windows (on clanlib also)

[Julien Ibarz]

I have do the PORT_CL07 on the window resizing. But a bug is on the 
clanlib 0.7, so you need the patch i do. But a bug persist on fullscreen 
when the resolution is different by the screen : the display dont take 
the whole of the screen. For the moment, it's not urgent (for wormux) to 
correct this bug on clanlib.
# Old manifest: bc85a4a4840d5a7a9dbcde294949e0935f81cef0
# New manifest: d123229dcca7d84b44e3f1808cb95daa47180730
# Summary of changes:
# 
#   patch Sources/GL/GLX/display_window_opengl.cpp
#    from 1fc9999cc2e9784de9eda914a98d4109ef9f98a7
#      to 17be591813cddfcfc930fff86fa77558c0f659fa
# 
#   patch Sources/GL/GLX/display_window_opengl.h
#    from 2abd9c0f52bd339b4a78d2fd0a03819df849e882
#      to 605c7ab27665887f6e1a2efbfa9698c790e0bee9
# 
--- Sources/GL/GLX/display_window_opengl.cpp
+++ Sources/GL/GLX/display_window_opengl.cpp
@@ -266,7 +266,7 @@
        set_title(desc.get_title());
        
        // setup size hints:
-       XSizeHints size_hints;
+
        memset(&size_hints, 0, sizeof(XSizeHints));
        size_hints.width = desc.get_size().width;
        size_hints.height = desc.get_size().height;
@@ -595,6 +595,16 @@
 {
        fullscreen_width = width;
        fullscreen_height = height;
+       size_hints.width = width;
+       size_hints.height = height;
+       size_hints.base_width = width;
+       size_hints.base_height = height;
+       size_hints.min_width = width;
+       size_hints.min_height = height;
+       size_hints.max_width = width;
+       size_hints.max_height = height;
+       XSetWMNormalHints(disp, window, &size_hints);
+
        sig_resize(width, height);
 }
 
--- Sources/GL/GLX/display_window_opengl.h
+++ Sources/GL/GLX/display_window_opengl.h
@@ -212,6 +212,9 @@
        //: Handle to X11 window.
        Window window;
 
+       //: Setup size hints
+       XSizeHints size_hints;
+
        //: Attributes used to create window.
        XSetWindowAttributes attributes;