@@ -22,7 +22,8 @@ extern void withWebView(WKWebView *, HsStablePtr);
22 if (self) {
22 if (self) {
23 _handler = handler;
23 _handler = handler;
24 NSRect contentSize = NSMakeRect(0.0, 500.0, 1000.0, 700.0);
24 NSRect contentSize = NSMakeRect(0.0, 500.0, 1000.0, 700.0);
25− NSUInteger windowStyleMask = NSWindowStyleMaskTitled | NSWindowStyleMaskResizable | NSWindowStyleMaskClosable | NSWindowStyleMaskMiniaturizable;
25+ // TODO replace with once nix has newer Cocoa NSUInteger windowStyleMask = NSWindowStyleMaskTitled | NSWindowStyleMaskResizable | NSWindowStyleMaskClosable | NSWindowStyleMaskMiniaturizable;
26+ NSUInteger windowStyleMask = NSTitledWindowMask | NSResizableWindowMask | NSClosableWindowMask | NSMiniaturizableWindowMask;
26 _window = [[NSWindow alloc] initWithContentRect:contentSize styleMask:windowStyleMask backing:NSBackingStoreBuffered defer:YES];
27 _window = [[NSWindow alloc] initWithContentRect:contentSize styleMask:windowStyleMask backing:NSBackingStoreBuffered defer:YES];
27 _window.backgroundColor = [NSColor whiteColor];
28 _window.backgroundColor = [NSColor whiteColor];
28 _window.title = progName;
29 _window.title = progName;