1.1 --- a/src/drivers/video_gtk.c	Mon Jul 28 03:41:25 2008 +0000
     1.2 +++ b/src/drivers/video_gtk.c	Mon Jul 28 04:40:32 2008 +0000
     1.3 @@ -125,7 +125,7 @@
     1.4  void video_gtk_display_blank( uint32_t colour );
     1.5  static uint16_t video_gtk_resolve_keysym( const gchar *keysym );
     1.6  static uint16_t video_gtk_keycode_to_dckeysym(uint16_t keycode);
     1.7 -static gchar *video_gtk_get_keysym_for_keycode(uint16_t keycode);
     1.8 +static gchar *video_gtk_keycode_to_keysym(uint16_t keycode);
     1.9  
    1.10  struct display_driver display_gtk_driver = { 
    1.11          "gtk",
    1.12 @@ -160,7 +160,7 @@
    1.13      return (uint16_t)val;
    1.14  }
    1.15  
    1.16 -static gchar *video_gtk_get_keycode_to_keysym( uint16_t keycode )
    1.17 +static gchar *video_gtk_keycode_to_keysym( uint16_t keycode )
    1.18  {
    1.19      return g_strdup(gdk_keyval_name(keycode));
    1.20  }