Adjust main window size

This commit is contained in:
hasufell 2014-10-01 03:03:39 +02:00
parent 9e87c971ab
commit bef0c9afe8
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020

View File

@ -43,7 +43,7 @@ main = do
boxPackStart box3 fileButton PackNatural 0 boxPackStart box3 fileButton PackNatural 0
-- adjust properties -- adjust properties
set window [windowDefaultWidth := 700, windowDefaultHeight := 700, set window [windowDefaultWidth := 600, windowDefaultHeight := 700,
windowTitle := "Computergrafik"] windowTitle := "Computergrafik"]
set box2 [buttonBoxLayoutStyle := ButtonboxCenter] set box2 [buttonBoxLayoutStyle := ButtonboxCenter]
set box3 [buttonBoxLayoutStyle := ButtonboxCenter] set box3 [buttonBoxLayoutStyle := ButtonboxCenter]