From 1c57f46721837926785742850714d341c904d0f4 Mon Sep 17 00:00:00 2001 From: Martin Kretzschmar Date: Mon, 10 Feb 2003 20:04:28 +0000 Subject: [PATCH] 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 --- pdf/xpdf/Makefile.am | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pdf/xpdf/Makefile.am b/pdf/xpdf/Makefile.am index c4e77b07..cfebfdf0 100644 --- 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 \ -- 2.43.5