+ [pbox setBorderType:NSBezelBorder];
+
+ {
+ NSRect f = [panel frame];
+ int screen_height = 800 - 64;
+ if (f.size.height > screen_height) {
+ NSLog(@"%@ height was %.0f; clipping to %d",
+ [panel class], f.size.height, screen_height);
+ f.size.height = screen_height;
+ [panel setFrame:f];
+ }
+ }
+