From 690066bb56e49fb21c66b47cdbe33ca6e51e16ec Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Thu, 30 Jun 2016 15:28:54 +0100 Subject: remove unecessary textinput header use from hotlist header --- frontends/gtk/hotlist.c | 1 + frontends/riscos/hotlist.c | 1 + 2 files changed, 2 insertions(+) (limited to 'frontends') diff --git a/frontends/gtk/hotlist.c b/frontends/gtk/hotlist.c index 06fd5cd69..82ea3e338 100644 --- a/frontends/gtk/hotlist.c +++ b/frontends/gtk/hotlist.c @@ -23,6 +23,7 @@ #include "utils/nsoption.h" #include "desktop/hotlist.h" #include "desktop/tree.h" +#include "desktop/textinput.h" #include "gtk/plotters.h" #include "gtk/scaffolding.h" diff --git a/frontends/riscos/hotlist.c b/frontends/riscos/hotlist.c index 6041658c4..f3daad088 100644 --- a/frontends/riscos/hotlist.c +++ b/frontends/riscos/hotlist.c @@ -40,6 +40,7 @@ #include "netsurf/window.h" #include "desktop/hotlist.h" #include "desktop/tree.h" +#include "desktop/textinput.h" #include "riscos/gui.h" #include "riscos/dialog.h" -- cgit v1.2.3