summaryrefslogtreecommitdiff
path: root/gui/help.c
diff options
context:
space:
mode:
Diffstat (limited to 'gui/help.c')
-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)
{