From: Matthijs Kooijman Date: Mon, 24 Aug 2009 17:44:08 +0000 (+0200) Subject: Give the window a default width and height again. X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=69ec94b9d4db56f4d3f4a2a86191de6088c78d79;p=matthijs%2Fprojects%2Ffpprac.git Give the window a default width and height again. --- diff --git a/FPPrac.hs b/FPPrac.hs index e56c604..cfbf000 100644 --- 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.