diff options
Diffstat (limited to 'gtk/gtkwidget.h')
| -rw-r--r-- | gtk/gtkwidget.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gtk/gtkwidget.h b/gtk/gtkwidget.h index 2dfc15102..08ea85331 100644 --- a/gtk/gtkwidget.h +++ b/gtk/gtkwidget.h @@ -474,10 +474,6 @@ void gtk_widget_restore_default_style (GtkWidget *widget); /* Descend recursively and set rc-style on all widgets without user styles */ void gtk_widget_reset_rc_styles (GtkWidget *widget); -/* Tell other Gtk applications to use the same default colors. - */ -void gtk_widget_propagate_default_style (void); - /* Push/pop pairs, to change default values upon a widget's creation. * This will override the values that got set by the * gtk_widget_set_default_* () functions. |