Fixed the preferences window, which became borderless with the switch to a newer base SDK

2013-10-03 01:42:45 -07:00 · 2013-10-03 01:42:45 -07:00 · 3c49691393
parent ec0e45381e
commit 3c49691393
1 changed files with 1 additions and 1 deletions
--- a/Preferences/PreferencesWindow.m
+++ b/Preferences/PreferencesWindow.m
@ -23,7 +23,7 @@
 - (id)initWithPreferencePanes:(NSArray *)panes
 {
    self = [super initWithContentRect:NSMakeRect(0, 0, 350, 200)
-                                              styleMask:(NSClosableWindowMask | NSResizableWindowMask)
+                                              styleMask:(NSClosableWindowMask | NSResizableWindowMask | NSTitledWindowMask)
                                                backing:NSBackingStoreBuffered
                                                  defer:NO];
 	if (self)