diff options
| author | Owen Taylor <otaylor@redhat.com> | 2001-06-24 15:34:48 +0000 |
|---|---|---|
| committer | Owen Taylor <otaylor@src.gnome.org> | 2001-06-24 15:34:48 +0000 |
| commit | cc223eeff6d60f1b4ab77b09d3d6cdede6372916 (patch) | |
| tree | 14c6426d96a95a70756dce3dd7154b9aeda15616 /gtk/gtkmenu.h | |
| parent | 5a5580a8e77dda9b7746012405f8e813a0e6c87b (diff) | |
| download | gtk+-cc223eeff6d60f1b4ab77b09d3d6cdede6372916.tar.gz | |
Fix stupid error introduced last night that was making things decidedly
Sun Jun 24 11:29:35 2001 Owen Taylor <otaylor@redhat.com>
* gdk/x11/gdkimage-x11.c (gdk_image_new): Fix stupid error
introduced last night that was making things decidedly not work.
* gtk/*.[ch]: Patch from Kristian Rietveld adding 80 getters
so that we have getter/setter pairing everywhere it makes
sense. (#55767)
* gtk/gtkradiobutton.[ch] gtk/gtktoolbar.c tests/testgtk.:
Rename gtk_radio_button_group to gtk_radio_button_get_group, add a
deprecated compat macro. (#55516)
* gtk/gtklabel.[ch]: Add functions
gtk_label_set/get_use_underline(), gtk_label_set/get_use_markup(),
gtk_label_set_label(), which mirror the property API for GtkLabel.
Make gtk_label_get_attributes() only reflect the attributes
set by gtk_label_set_attributes.
* gtk/gtknotebook.c (gtk_notebook_set_current_page) gtk/gtkcompat.h: Rename
from gtk_notebook_set_page().
Diffstat (limited to 'gtk/gtkmenu.h')
| -rw-r--r-- | gtk/gtkmenu.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk/gtkmenu.h b/gtk/gtkmenu.h index 30c63824b8..75f51c2a8c 100644 --- a/gtk/gtkmenu.h +++ b/gtk/gtkmenu.h @@ -165,12 +165,14 @@ GtkWidget* gtk_menu_get_attach_widget (GtkMenu *menu); void gtk_menu_set_tearoff_state (GtkMenu *menu, gboolean torn_off); +gboolean gtk_menu_get_tearoff_state (GtkMenu *menu); /* This sets the window manager title for the window that * appears when a menu is torn off */ void gtk_menu_set_title (GtkMenu *menu, const gchar *title); +G_CONST_RETURN gchar *gtk_menu_get_title (GtkMenu *menu); void gtk_menu_reorder_child (GtkMenu *menu, GtkWidget *child, |