1.1 --- a/src/drivers/video_gtk.c	Sun Jul 02 04:59:00 2006 +0000
     1.2 +++ b/src/drivers/video_gtk.c	Wed Jan 31 10:58:42 2007 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: video_gtk.c,v 1.8 2006-07-02 04:59:00 nkeynes Exp $
     1.6 + * $Id: video_gtk.c,v 1.9 2007-01-27 12:03:53 nkeynes Exp $
     1.7   *
     1.8   * The PC side of the video support (responsible for actually displaying / 
     1.9   * rendering frames)
    1.10 @@ -74,13 +74,11 @@
    1.11  gboolean video_gtk_set_output_format( uint32_t width, uint32_t height,  
    1.12  				      int colour_format )
    1.13  {
    1.14 -    video_width = width;
    1.15 -    video_height = height;
    1.16      if( video_win == NULL ) {
    1.17  	video_win = GTK_WINDOW(gtk_window_new( GTK_WINDOW_TOPLEVEL ));
    1.18  	gtk_window_set_title( video_win, APP_NAME " - Emulation Window" );
    1.19  	gtk_window_set_policy( video_win, FALSE, FALSE, FALSE );
    1.20 -	gtk_window_set_default_size( video_win, width, height );
    1.21 +	gtk_window_set_default_size( video_win, video_width, video_height );
    1.22      
    1.23  	g_signal_connect( video_win, "key_press_event", 
    1.24  			  G_CALLBACK(video_gtk_keydown_callback), NULL );
    1.25 @@ -98,9 +96,9 @@
    1.26  			       GDK_WINDOW_XWINDOW( GTK_WIDGET(video_win)->window ) );
    1.27  			       
    1.28      }
    1.29 -    gtk_window_set_default_size( video_win, width, height );
    1.30 +    gtk_window_set_default_size( video_win, video_width, video_height );
    1.31      video_img = gdk_image_new( GDK_IMAGE_FASTEST, gdk_visual_get_system(),
    1.32 -			       width, height );
    1.33 +			       video_width, video_height );
    1.34      gtk_image_set_from_image( GTK_IMAGE(video_area), video_img, NULL );
    1.35      /* Note old image is auto de-refed */
    1.36      return TRUE;