summaryrefslogtreecommitdiff
path: root/gui
diff options
context:
space:
mode:
authorWerner Almesberger <werner@almesberger.net>2016-10-30 14:38:18 (GMT)
committerWerner Almesberger <werner@almesberger.net>2016-10-30 14:38:18 (GMT)
commit2aad75cbc2757c6297dbf0785070c6b15030e5ea (patch)
tree93fc07788e39e6d196fce72652f9dd0e0f443bf9 /gui
parentd46cbc9f842adbb762bf84830be00350c34e0f93 (diff)
downloadeeshow-2aad75cbc2757c6297dbf0785070c6b15030e5ea.zip
eeshow-2aad75cbc2757c6297dbf0785070c6b15030e5ea.tar.gz
eeshow-2aad75cbc2757c6297dbf0785070c6b15030e5ea.tar.bz2
gui/help.c, help.html, Makefile, README: remove WebKit support
We didn't normally use it, if using it, it would have made things quite slow, and having to support it would complicate generalizing viewer windows (which will happen soon).
Diffstat (limited to 'gui')
-rw-r--r--gui/help.c27
1 files changed, 0 insertions, 27 deletions
diff --git a/gui/help.c b/gui/help.c
index 553f003..545a257 100644
--- a/gui/help.c
+++ b/gui/help.c
@@ -14,10 +14,6 @@
#include <gtk/gtk.h>
-#ifdef USE_WEBKIT
-#include <webkit2/webkit2.h>
-#endif
-
#include "gui/help.h"
@@ -48,27 +44,6 @@ static gboolean key_press_event(GtkWidget *widget, GdkEventKey *event,
}
-#ifdef USE_WEBKIT
-
-static GtkWidget *help_content(void)
-{
- GtkWidget *view;
- WebKitSettings *settings;
-
- view = webkit_web_view_new();
-
- settings = webkit_web_view_get_settings(WEBKIT_WEB_VIEW(view));
- webkit_settings_set_default_font_size(settings, 10);
-
- webkit_web_view_load_html(WEBKIT_WEB_VIEW(view),
-#include "../help.inc"
- , NULL);
-
- return view;
-}
-
-#else /* USE_WEBKIT */
-
static GtkWidget *help_content(void)
{
GtkWidget *scroll, *label;
@@ -90,8 +65,6 @@ static GtkWidget *help_content(void)
return scroll;
}
-#endif /* !USE_WEBKIT */
-
static void new_help_window(void)
{