src/video/ataricommon/SDL_biosevents.c
changeset 2031 f54073d86c82
parent 2030 d774e9d7c2a8
child 2033 b657f0bc72c2
--- a/src/video/ataricommon/SDL_biosevents.c	Wed Sep 20 19:47:09 2006 +0000
+++ b/src/video/ataricommon/SDL_biosevents.c	Wed Sep 20 19:49:23 2006 +0000
@@ -60,9 +60,9 @@
     if (!use_dev_mouse) {
         vectors_mask |= ATARI_XBIOS_MOUSEEVENTS;        /* XBIOS mouse events */
     }
-    if (Getcookie(C_MiNT, &dummy) == C_FOUND) {
+    /*if (Getcookie(C_MiNT, &dummy) == C_FOUND) {
         vectors_mask = 0;
-    }
+    }*/
 
     SDL_AtariXbios_InstallVectors(vectors_mask);
 }