diff options
| author | Matthias Clasen <maclas@gmx.de> | 2003-08-31 23:36:37 +0000 |
|---|---|---|
| committer | Matthias Clasen <matthiasc@src.gnome.org> | 2003-08-31 23:36:37 +0000 |
| commit | 7cddc693b0df6761f8e1b2c52b69130baab5f341 (patch) | |
| tree | 460d64ef0afa8980bd0d7dcd3c8727aff0f51864 /gtk/gtkuimanager.h | |
| parent | 53257cbd276afeeb630c943319aae86296005e64 (diff) | |
| download | gtk+-7cddc693b0df6761f8e1b2c52b69130baab5f341.tar.gz | |
Make this public again, since it's occasionally useful. (#121128, Marco
2003-09-01 Matthias Clasen <maclas@gmx.de>
* gtk/gtkuimanager.[ch] (gtk_ui_manager_ensure_update): Make
this public again, since it's occasionally useful. (#121128,
Marco Pesenti Gritti)
* gtk/gtkaction.c: Add an "is_important" property and propagate
it to toolitem proxies. (#121058, Marco Pesenti Gritti)
Diffstat (limited to 'gtk/gtkuimanager.h')
| -rw-r--r-- | gtk/gtkuimanager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk/gtkuimanager.h b/gtk/gtkuimanager.h index 4ee6470370..937d47112d 100644 --- a/gtk/gtkuimanager.h +++ b/gtk/gtkuimanager.h @@ -79,8 +79,6 @@ void gtk_ui_manager_set_add_tearoffs (GtkUIManager *self, gboolean add_tearoffs); gboolean gtk_ui_manager_get_add_tearoffs (GtkUIManager *self); -/* these two functions will dirty all merge nodes, as they may need to - * be connected up to different actions */ void gtk_ui_manager_insert_action_group (GtkUIManager *self, GtkActionGroup *action_group, gint pos); @@ -109,4 +107,6 @@ void gtk_ui_manager_remove_ui (GtkUIManager *self, gchar *gtk_ui_manager_get_ui (GtkUIManager *self); +void gtk_ui_manager_ensure_update (GtkUIManager *self); + #endif /* __GTK_UI_MANAGER_H__ */ |