diff options
| author | Tim Janik <timj@gimp.org> | 1998-03-01 17:44:24 +0000 |
|---|---|---|
| committer | Tim Janik <timj@src.gnome.org> | 1998-03-01 17:44:24 +0000 |
| commit | 2a9e933d90e6514b7f863ac13f104fa32de865d1 (patch) | |
| tree | 34723aea543339d2677568afee0ff4ea1bcd643e /docs | |
| parent | 16da0508af9c07191c7ae04ce9f0504a11b890f6 (diff) | |
| download | gtk+-2a9e933d90e6514b7f863ac13f104fa32de865d1.tar.gz | |
hm if we save the default style, we should also provide a function to
Sun Mar 1 18:41:07 1998 Tim Janik <timj@gimp.org>
* gtk/gtkwidget.c (gtk_widget_restore_default_style): hm if we save the
default style, we should also provide a function to restore it ;).
* gtk/main.[hc]: small fixups to idle handlers, added support for quit
handlers.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/styles.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/styles.txt b/docs/styles.txt index 0975d6d2b9..051dc4b107 100644 --- a/docs/styles.txt +++ b/docs/styles.txt @@ -25,6 +25,11 @@ gtk_widget_set_rc_style () restore the default style otherwise. This will override a previously set user style or rc style. +gtk_widget_restore_default_style () + Reset the widget's style to the default style, this is only usefull if + the widgets default style had been saved by previous calls to + gtk_widget_set_style() or gtk_widget_set_rc_style(). + gtk_widget_ensure_style () Ensure taht the widget either has a user style set, or an rc lookup has been performed. |