@@ -22,7 +22,8 @@ extern void withWebView(WKWebView *, HsStablePtr);
2222 if (self) {
2323 _handler = handler;
2424 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;
2627 _window = [[NSWindow alloc] initWithContentRect:contentSize styleMask:windowStyleMask backing:NSBackingStoreBuffered defer:YES];
2728 _window.backgroundColor = [NSColor whiteColor];
2829 _window.title = progName;