Fix two window-resizing bugs introduced by the addition of the status bar.

[originally from svn r5186]

diff --git a/osx.m b/osx.m
index beafc0951cde31603bcb53ab3cde0a0531eeab1c..e0a35b443b9b41feb5e1aac22cf59861da1cd787 100644 (file)
--- a/osx.m
+++ b/osx.m
@@ -17,6 +17,9 @@
  *
  *  - do we need any more options in the Window menu?
  *
+ *  - can / should we be doing anything with the titles of the
+ *    configuration boxes?
+ * 
  *  - not sure what I should be doing about default window
  *    placement. Centring new windows is a bit feeble, but what's
  *    better? Is there a standard way to tell the OS "here's the
@@ -617,6 +620,13 @@ struct frontend {
     size.width = w;
     size.height = h;
 
+    if (status) {
+       NSRect frame = [status frame];
+       size.height += frame.size.height;
+       frame.size.width = size.width;
+       [status setFrame:frame];
+    }
+
     NSDisableScreenUpdates();
     [self setContentSize:size];
     [self setupContentView];