Handle window resize
authorEnrico Zini <enrico@enricozini.org>
Tue, 8 Dec 2009 19:34:00 +0000 (19:34 +0000)
committerEnrico Zini <enrico@enricozini.org>
Tue, 8 Dec 2009 19:34:00 +0000 (19:34 +0000)
src/fisheye.vala

index d6e9ae73086014c78fceb23538cd5eca146a5f07..a92b66f3846dc227ee2020e6891554a504842b86 100644 (file)
@@ -101,6 +101,13 @@ public class FisheyeList : Gtk.DrawingArea
                return false;
        }
 
+       public override bool configure_event (Gdk.EventConfigure event)
+       {
+               focus_layout();
+               queue_draw();
+               return false;
+       }
+
        /* Widget is asked to draw itself */
        public override bool expose_event (Gdk.EventExpose event) {
 
@@ -267,7 +274,7 @@ static int main (string[] args) {
        Gtk.init (ref args);
 
        var fe = new Fisheye();
-       fe.set_size_request(300, 500);
+       fe.set_size_request(200, 300);
        fe.show_all();
 
        Gtk.main();