[tali] Fix casting issues with GtkHeaderBar



commit 529a5b1b92908e4defe7e782597fa0d8f1f8c692
Author: Mario Wenzel <maweki gmail com>
Date:   Wed Jan 15 18:13:37 2014 +0100

    Fix casting issues with GtkHeaderBar
    
    https://bugzilla.gnome.org/show_bug.cgi?id=722227

 src/gyahtzee.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/gyahtzee.c b/src/gyahtzee.c
index 532700a..d5c2d51 100644
--- a/src/gyahtzee.c
+++ b/src/gyahtzee.c
@@ -762,8 +762,8 @@ GyahtzeeCreateMainWindow (void)
 
         /*--- Headerbar ---*/
   hbar = gtk_header_bar_new ();
-  gtk_header_bar_set_show_close_button (hbar, TRUE);
-  gtk_header_bar_set_title (hbar, _(appName));
+  gtk_header_bar_set_show_close_button (GTK_HEADER_BAR (hbar), TRUE);
+  gtk_header_bar_set_title (GTK_HEADER_BAR (hbar), _(appName));
   gtk_widget_show (hbar);
   gtk_window_set_titlebar (GTK_WINDOW (window), hbar);
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]