src/video/cocoa/event.mm
branchnoai
changeset 9724 b39bc69bb2f2
parent 9723 eee46cb39750
child 9732 f8eb3e208514
--- a/src/video/cocoa/event.mm	Wed Jan 09 18:11:12 2008 +0000
+++ b/src/video/cocoa/event.mm	Sun Feb 03 20:17:54 2008 +0000
@@ -40,12 +40,14 @@
 #include "../../debug.h"
 #include "../../os/macosx/splash.h"
 #include "../../variables.h"
+#include "../../settings_type.h"
 #include "../../core/geometry_type.hpp"
 #include "cocoa_v.h"
 #include "cocoa_keys.h"
 #include "../../blitter/factory.hpp"
 #include "../../gfx_func.h"
 #include "../../network/network.h"
+#include "../../core/random_func.hpp"
 
 
 /* Right Mouse Button Emulation enum */