From f952be314bfc867bbc7ab249af960407a4c1aed7 Mon Sep 17 00:00:00 2001 From: Pablo Barciela Date: Sat, 28 Jul 2018 20:37:53 +0200 Subject: pluma-window: make sure some resources are freed --- pluma/pluma-window.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pluma/pluma-window.c b/pluma/pluma-window.c index 6c908bfc..b3ac4f47 100644 --- a/pluma/pluma-window.c +++ b/pluma/pluma-window.c @@ -352,7 +352,7 @@ pluma_window_key_press_event (GtkWidget *widget, gtk_notebook_prev_page (notebook); else gtk_notebook_set_current_page (notebook, (pages - 1)); - return TRUE; + handled = TRUE; } if (event->keyval == GDK_KEY_Tab) @@ -361,7 +361,7 @@ pluma_window_key_press_event (GtkWidget *widget, gtk_notebook_next_page (notebook); else gtk_notebook_set_current_page (notebook, 0); - return TRUE; + handled = TRUE; } } g_object_unref (settings); -- cgit v1.2.1