page number entry widget (for the toolbar)

* xpdf/page-control.c, xpdf/page-control.h: page number entry
widget (for the toolbar)

* xpdf/gpdf-control.cc (gc_page_changed_cb)
(gc_ui_add_page_control, gc_setup_page_control): add a
page-control to the toolbar (currently displays page number only)
(gc_set_ui_pixbufs): extracted from gc_set_ui_container
(gc_setup_view_widgets): renamed from gc_setup_widgets

* xpdf/gpdf-view.cc, xpdf/gpdf-view.h: add a page_changed signal,
wrap g_signal_emit calls for improved readability

* xpdf/Makefile.am (gnome_pdf_viewer_SOURCES): add page-control.c,
page-control.h

* xpdf/gpdf-control-ui.xml: add placeholder for page-control

diff --git a/pdf/xpdf/Makefile.am b/pdf/xpdf/Makefile.am
index c4e77b0750b96f65d699f42e87c173bcd554adbc..cfebfdf04e2d72732e2c9a009f40de0ccdecad86 100644 (file)
--- a/pdf/xpdf/Makefile.am
+++ b/pdf/xpdf/Makefile.am
@@ -116,7 +116,9 @@ gnome_pdf_viewer_SOURCES =          \
        gpdf-view.cc                    \
        gpdf-view.h                     \
        gtkgesture.c                    \
-       gtkgesture.h                    
+       gtkgesture.h                    \
+       page-control.c                  \
+       page-control.h
 
 # Font embedding hack for Gnome Print < 2.1.?2?
 #      gpdf-gnome-font.c               \