--- poppler.defs.orig 2016-01-02 15:32:53.000000000 -0800 +++ poppler.defs 2016-01-02 15:33:07.000000000 -0800 @@ -578,18 +578,6 @@ ) ) -(define-enum Orientation - (in-module "Poppler") - (c-name "PopplerOrientation") - (gtype-id "POPPLER_TYPE_ORIENTATION") - (values - '("portrait" "POPPLER_ORIENTATION_PORTRAIT") - '("landscape" "POPPLER_ORIENTATION_LANDSCAPE") - '("upsidedown" "POPPLER_ORIENTATION_UPSIDEDOWN") - '("seascape" "POPPLER_ORIENTATION_SEASCAPE") - ) -) - (define-enum PageTransitionType (in-module "Poppler") (c-name "PopplerPageTransitionType") @@ -1646,57 +1634,6 @@ (return-type "GType") ) -(define-method render_to_pixbuf - (of-object "PopplerPage") - (c-name "poppler_page_render_to_pixbuf") - (return-type "none") - (parameters - '("int" "src_x") - '("int" "src_y") - '("int" "src_width") - '("int" "src_height") - '("double" "scale") - '("int" "rotation") - '("GdkPixbuf*" "pixbuf") - ) -) - -(define-method render_to_pixbuf_for_printing - (of-object "PopplerPage") - (c-name "poppler_page_render_to_pixbuf_for_printing") - (return-type "none") - (parameters - '("int" "src_x") - '("int" "src_y") - '("int" "src_width") - '("int" "src_height") - '("double" "scale") - '("int" "rotation") - '("GdkPixbuf*" "pixbuf") - ) -) - -(define-method get_thumbnail_pixbuf - (of-object "PopplerPage") - (c-name "poppler_page_get_thumbnail_pixbuf") - (return-type "GdkPixbuf*") -) - -(define-method render_selection_to_pixbuf - (of-object "PopplerPage") - (c-name "poppler_page_render_selection_to_pixbuf") - (return-type "none") - (parameters - '("gdouble" "scale") - '("int" "rotation") - '("GdkPixbuf*" "pixbuf") - '("PopplerRectangle*" "selection") - '("PopplerRectangle*" "old_selection") - '("PopplerSelectionStyle" "style") - '("GdkColor*" "glyph_color") - '("GdkColor*" "background_color") - ) -) (define-method render (of-object "PopplerPage") @@ -1794,7 +1731,7 @@ (define-method get_text (of-object "PopplerPage") - (c-name "poppler_page_get_text") + (c-name "poppler_page_get_selected_text") (return-type "char*") (parameters '("PopplerSelectionStyle" "style")