Give the window a default width and height again.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 24 Aug 2009 17:44:08 +0000 (19:44 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 24 Aug 2009 17:44:08 +0000 (19:44 +0200)
FPPrac.hs

index e56c60458dd3fa75e655bd00c7505969b9dd922f..cfbf0008654ad762246d6af423a85b102bd49130 100644 (file)
--- a/FPPrac.hs
+++ b/FPPrac.hs
@@ -135,10 +135,10 @@ runTina Main {..} = do
        usrState  <- newIORef initialState
        postponed <- newIORef (GfxText (rgb 0 0 0) (pt 50 50) "foo" : GfxClear :initialRequests)
        let state = IS { usrProg = eventHandler, .. }
-       runGUI {-(sz windowWidth windowHeight) -}state
+       runGUI windowWidth windowHeight state
 
-runGUI :: {-Size ->-} IState -> IO ()
-runGUI s = do
+runGUI :: Int -> Int -> IState -> IO ()
+runGUI w h s = do
        -- Init GTK.
        Gtk.initGUI
        
@@ -146,7 +146,10 @@ runGUI s = do
        -- it is closed.
        window <- Gtk.windowNew
        Gtk.set window [ Gtk.containerBorderWidth := 10
-                      , Gtk.windowTitle := "FP Practicum" ]
+                      , Gtk.windowTitle := "FP Practicum" 
+                      , Gtk.windowDefaultWidth := w
+                      , Gtk.windowDefaultHeight := h
+                      ]
        Gtk.onDestroy window Gtk.mainQuit
        
        -- Show the window and start the Gtk mainloop.