diff options
Diffstat (limited to 'Gui/mplayer/gtk/opts.c')
| -rw-r--r-- | Gui/mplayer/gtk/opts.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Gui/mplayer/gtk/opts.c b/Gui/mplayer/gtk/opts.c index 90981f28c9..d51c8be6ed 100644 --- a/Gui/mplayer/gtk/opts.c +++ b/Gui/mplayer/gtk/opts.c @@ -31,9 +31,7 @@ GtkWidget * opCancel; int opShift = 0; void HideOptions( void ) -{ - gtk_widget_hide( Options ); -} +{ gtk_widget_destroy( Options ); } gboolean on_window2_key_press_event( GtkWidget * widget,GdkEventKey * event,gpointer user_data ) { |