From: Teus Benschop <teusjannette@gmail.com>
Date: Sun, 28 Oct 2018 06:46:14 +0100
Subject: patch source for webkit2

---
 src/gui/treekey-editor.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/gui/treekey-editor.h b/src/gui/treekey-editor.h
index 91efed8..58310f6 100644
--- a/src/gui/treekey-editor.h
+++ b/src/gui/treekey-editor.h
@@ -26,8 +26,6 @@
 extern "C" {
 #endif
 
-GtkWidget *gui_create_editor_tree(EDITOR *editor);
-GtkWidget *create_edit_tree_menu(EDITOR *editor);
 
 #ifdef __cplusplus
 }