1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
|
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
}
|