diff options
| author | Joe Crayne <joe@jerkface.net> | 2019-04-17 15:53:13 -0400 |
|---|---|---|
| committer | Joe Crayne <joe@jerkface.net> | 2019-04-17 18:41:18 -0400 |
| commit | d66156be74554c0a4a7e29676b4f3b4f010608fc (patch) | |
| tree | 36f04cde51a36d2e9ca57ea2d2ec6e94b71f8f03 | |
| parent | d8bcacc5effefb161f0c6b51a34ad82e3f8d3b4e (diff) | |
Smaller window.
| -rw-r--r-- | GLWidget.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GLWidget.hs b/GLWidget.hs index 8a9d23e..50e2e64 100644 --- a/GLWidget.hs +++ b/GLWidget.hs | |||
| @@ -88,7 +88,7 @@ runGLApp mk methods = do | |||
| 88 | 88 | ||
| 89 | window <- do | 89 | window <- do |
| 90 | w <- windowNew WindowTypeToplevel | 90 | w <- windowNew WindowTypeToplevel |
| 91 | windowSetDefaultSize w 760 760 | 91 | windowSetDefaultSize w 720 720 |
| 92 | windowSetTitle w (glTitle methods) | 92 | windowSetTitle w (glTitle methods) |
| 93 | containerSetBorderWidth w 0 | 93 | containerSetBorderWidth w 0 |
| 94 | _ <- on w #deleteEvent $ \_ -> mainQuit >> return True | 94 | _ <- on w #deleteEvent $ \_ -> mainQuit >> return True |