src/video/wscons/SDL_wsconsevents.c
branchgsoc2008_nds
changeset 2669 e27bdcc80744
parent 1895 c121d94672cb
child 2859 99210400e8b9
equal deleted inserted replaced
2668:bb3241de289e 2669:e27bdcc80744
   143 {
   143 {
   144     do {
   144     do {
   145         posted = 0;
   145         posted = 0;
   146         updateMouse();
   146         updateMouse();
   147         updateKeyboard(this);
   147         updateKeyboard(this);
   148     }
   148     } while (posted);
   149     while (posted);
       
   150 }
   149 }
   151 
   150 
   152 void
   151 void
   153 WSCONS_InitOSKeymap(_THIS)
   152 WSCONS_InitOSKeymap(_THIS)
   154 {
   153 {