From 5a40e94df627fd913e800f7a86f6d2e5a1f5b870 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Sat, 12 Aug 2017 08:16:33 +0100 Subject: remove unecessary textarea include --- frontends/gtk/window.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'frontends') diff --git a/frontends/gtk/window.c b/frontends/gtk/window.c index de5311e2e..d32f4573a 100644 --- a/frontends/gtk/window.c +++ b/frontends/gtk/window.c @@ -42,7 +42,6 @@ #include "netsurf/plotters.h" #include "netsurf/form.h" #include "netsurf/keypress.h" -#include "desktop/textarea.h" #include "desktop/searchweb.h" #include "desktop/textinput.h" @@ -355,6 +354,7 @@ static gboolean nsgtk_window_button_press_event(GtkWidget *widget, break; case 3: /* Right button, usually. Action button, context menu. */ + /** \todo determine if hiding the caret here is necessary */ browser_window_remove_caret(g->bw, true); nsgtk_scaffolding_context_menu(g->scaffold, g->mouse.pressed_x, -- cgit v1.2.3