Fix various bugs; use poppler instead of pdftoppm

[xournal.git] / src / xo-misc.h

diff --git a/src/xo-misc.h b/src/xo-misc.h
index 4ade904c130e9e278810caaefa7618b7ff8e088f..d966fa4fd660cc62b64c1b42f77138e205c4620d 100644 (file)
--- a/src/xo-misc.h
+++ b/src/xo-misc.h
@@ -68,7 +68,6 @@ void process_papercolor_activate(GtkMenuItem *menuitem, int color);
 void process_paperstyle_activate(GtkMenuItem *menuitem, int style);
 
 gboolean ok_to_close(void);
-gboolean page_ops_forbidden(void);
 
 void reset_focus(void);