Fix issue 161 (Linux: The window "resists" resizing)

Fix issue 159 (Mouse sensitivy in fullscreen mode) by implementing user-defined mouse sensitivity in Settings screen, only affects fullscreen mode.
Fix: When changing pixel size, sometimes there were some remaining "dirty lines" at the right edge of screen/window.


git-svn-id: svn://pulkomandy.tk/GrafX2/trunk@819 416bcca6-2ee7-4201-b75f-2eb2f807beb1

misc.c

@@ -157,11 +157,6 @@ void Hide_current_image(byte color)
   );
 }
 
-void Mouse_sensitivity(__attribute__((unused)) word x,__attribute__((unused)) word y)
-{
-
-}
-
 void Init_chrono(dword delay)
 // Démarrer le chrono
 {
@@ -343,14 +338,6 @@ byte Effect_sieve(word x,word y)
   return Sieve[x % Sieve_width][y % Sieve_height];
 }
 
-void Set_mouse_position(void)
-{
-    SDL_WarpMouse(
-        Mouse_X*Pixel_width,
-        Mouse_Y*Pixel_height
-    );
-}
-
 void Replace_colors_within_limits(byte * replace_table)
 {
   int line;