mirror of
https://gitlab.gnome.org/GNOME/gimp
synced 2024-10-21 03:52:33 +00:00
use gimp_dialog_hide() instead of gtk_widget_hide(). Closes bug #19164.
2000-07-30 Sven Neumann <neo@wintermute.ochsenblut.de> * app/tools.c (tool_options_close_callback): use gimp_dialog_hide() instead of gtk_widget_hide(). Closes bug #19164.
This commit is contained in:
parent
4039329d1e
commit
aa5d61c24d
|
@ -1,3 +1,8 @@
|
|||
2000-07-30 Sven Neumann <neo@wintermute.ochsenblut.de>
|
||||
|
||||
* app/tools.c (tool_options_close_callback): use
|
||||
gimp_dialog_hide() instead of gtk_widget_hide(). Closes bug #19164.
|
||||
|
||||
2000-07-30 Sven Neumann <sven@gimp.org>
|
||||
|
||||
* plug-ins/helpbrowser/helpbrowser.c: activate the help page
|
||||
|
|
|
@ -1685,7 +1685,7 @@ tool_options_close_callback (GtkWidget *widget,
|
|||
GtkWidget *shell;
|
||||
|
||||
shell = (GtkWidget *) data;
|
||||
gtk_widget_hide (shell);
|
||||
gimp_dialog_hide (shell);
|
||||
}
|
||||
|
||||
static void
|
||||
|
|
|
@ -1685,7 +1685,7 @@ tool_options_close_callback (GtkWidget *widget,
|
|||
GtkWidget *shell;
|
||||
|
||||
shell = (GtkWidget *) data;
|
||||
gtk_widget_hide (shell);
|
||||
gimp_dialog_hide (shell);
|
||||
}
|
||||
|
||||
static void
|
||||
|
|
Loading…
Reference in a new issue