From 3c496913937af0135b19dad45e7fdb9f0dfa9f9c Mon Sep 17 00:00:00 2001
From: Chris Moeller <kode54@gmail.com>
Date: Thu, 3 Oct 2013 01:42:45 -0700
Subject: [PATCH] Fixed the preferences window, which became borderless with
 the switch to a newer base SDK

---
 Preferences/PreferencesWindow.m | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Preferences/PreferencesWindow.m b/Preferences/PreferencesWindow.m
index 2ecb44385..01962a430 100644
--- 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)