[patch] update rep-gtk headers to match gtk2 includes

rep-gtk-0.18_gtk2.patch (text/plain), 1.54 KB, created by Phillip L on 2004-03-26 22:19:01 UTC

Only in rep-gtk-0.18-gtk2_patched: config.h
diff -aur rep-gtk-0.18/gtk-compat.c rep-gtk-0.18-gtk2_patched/gtk-compat.c
--- rep-gtk-0.18/gtk-compat.c	2002-07-12 00:19:22.000000000 -0400
+++ rep-gtk-0.18-gtk2_patched/gtk-compat.c	2004-03-27 00:59:32.109529224 -0500
@@ -64,7 +64,7 @@
 
 GtkWidget*
 gtk_radio_menu_item_new_with_label_from_widget (GtkRadioMenuItem *group,
-						gchar            *label)
+						const gchar            *label)
 {
   GSList *g = group? gtk_radio_menu_item_group (group) : NULL;
   return gtk_radio_menu_item_new_with_label (g, label);
@@ -72,7 +72,7 @@
 
 GtkWidget*
 gtk_radio_menu_item_new_with_mnemonic_from_widget (GtkRadioMenuItem *group,
-						   gchar            *label)
+						   const gchar            *label)
 {
   GSList *g = group? gtk_radio_menu_item_group (group) : NULL;
   return gtk_radio_menu_item_new_with_mnemonic (g, label);
diff -aur rep-gtk-0.18/rep-gtk.h rep-gtk-0.18-gtk2_patched/rep-gtk.h
--- rep-gtk-0.18/rep-gtk.h	2003-02-12 03:51:45.000000000 -0500
+++ rep-gtk-0.18-gtk2_patched/rep-gtk.h	2004-03-27 00:59:35.512011968 -0500
@@ -291,10 +291,10 @@
 
 GtkWidget*
 gtk_radio_menu_item_new_with_label_from_widget (GtkRadioMenuItem *group,
-						gchar            *label);
+						const gchar      *label);
 GtkWidget*
 gtk_radio_menu_item_new_with_mnemonic_from_widget (GtkRadioMenuItem *group,
-						   gchar            *label);
+						   const gchar            *label);
 GtkWidget* gtk_radio_menu_item_new_from_widget (GtkRadioMenuItem *group);
 GtkWidget* gtk_pixmap_new_interp (char *file, GtkWidget *intended_parent);