* Since there is a bug in Apple's screen switching code that does not update

 * this variable when switching to fullscreen, we'll set it manually (but only

 * for the main screen).

 */

@interface NSScreen (NSScreenAccess)

	- (void) setFrame:(NSRect)frame;

@end

@implementation NSScreen (NSScreenAccess)

- (void) setFrame:(NSRect)frame

{

/* The 64 bits libraries don't seem to know about _frame, so this hack won't work. */

	_frame = frame;

#endif

}

@end

class FullscreenSubdriver : public CocoaSubdriver {

	CGDirectDisplayID  display_id;         ///< 0 == main display (only support single display)

	CFDictionaryRef    cur_mode;           ///< current mode of the display

	CFDictionaryRef    save_mode;          ///< original mode of the display

	CGDirectPaletteRef palette;            ///< palette of an 8-bit display