mainObj.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

{-# LANGUAGE LambdaCase        #-}
{-# LANGUAGE OverloadedLabels  #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards   #-}
module Main where

import qualified GI.Gtk as Gtk (main)
         ;import GI.Gtk as Gtk hiding (main)

import qualified MeshSketch

main :: IO ()
main = do
        _ <- Gtk.init Nothing

        let mkChild = MeshSketch.mmWidget <$> MeshSketch.new

        window <- do
            w <- Gtk.windowNew WindowTypeToplevel
            windowSetDefaultSize    w 720 720
            Gtk.windowSetTitle      w "MeshSketch"
            containerSetBorderWidth w 0
            _ <- on w #deleteEvent $ \_ -> mainQuit >> return True
            child <- mkChild
            containerAdd w child
            return w

        widgetShowAll window
        Gtk.main