--- a/src/video/cocoa/SDL_cocoakeyboard.m	Tue Feb 13 09:58:58 2007 +0000
+++ b/src/video/cocoa/SDL_cocoakeyboard.m	Wed Feb 14 10:25:41 2007 +0000
@@ -77,9 +77,14 @@
     keymap[KEY_F10] = SDLK_F10;
     keymap[KEY_F11] = SDLK_F11;
     keymap[KEY_F12] = SDLK_F12;
+    keymap[KEY_F13] = SDLK_F13;
+    keymap[KEY_F14] = SDLK_F14;
+    keymap[KEY_F15] = SDLK_F15;
+/*
     keymap[KEY_PRINT] = SDLK_PRINT;
     keymap[KEY_SCROLLOCK] = SDLK_SCROLLOCK;
     keymap[KEY_PAUSE] = SDLK_PAUSE;
+*/
     keymap[KEY_POWER] = SDLK_POWER;
     keymap[KEY_BACKQUOTE] = SDLK_BACKQUOTE;
     keymap[KEY_1] = SDLK_1;