1.1 --- a/src/drivers/video_gtk.c	Wed Oct 31 12:05:23 2007 +0000
     1.2 +++ b/src/drivers/video_gtk.c	Wed Oct 31 12:43:51 2007 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: video_gtk.c,v 1.18 2007-10-31 12:05:23 nkeynes Exp $
     1.6 + * $Id: video_gtk.c,v 1.19 2007-10-31 12:43:51 nkeynes Exp $
     1.7   *
     1.8   * The PC side of the video support (responsible for actually displaying / 
     1.9   * rendering frames)
    1.10 @@ -17,8 +17,8 @@
    1.11   * GNU General Public License for more details.
    1.12   */
    1.13  
    1.14 -#include <gnome.h>
    1.15  #include <gdk/gdkx.h>
    1.16 +#include <gdk/gdkkeysyms.h>
    1.17  #include <stdint.h>
    1.18  #include "dream.h"
    1.19  #include "display.h"