X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwindow-manager.c;h=a4f5064d1801122bb714696d202e529fb1e8e3bc;hb=8f157150f5fe225224e407161fb7f899d34b8b18;hp=51fc95a91de9df69f0f26b000a25c4a75f0880a2;hpb=35c4cb8cfb59bf6e1eb770114850e1184cfafc9b;p=pspp-builds.git

diff --git a/src/ui/gui/window-manager.c b/src/ui/gui/window-manager.c
index 51fc95a9..a4f5064d 100644
--- a/src/ui/gui/window-manager.c
+++ b/src/ui/gui/window-manager.c
@@ -105,7 +105,7 @@ window_create (enum window_type type, const gchar *name)
 
   register_window (e);
 
-  gtk_widget_show (e->window);
+  gtk_widget_show (GTK_WIDGET (e->window));
 
   return e;
 }