summaryrefslogtreecommitdiff
path: root/Build/source/texk/xdvik/gui/pagesel.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/xdvik/gui/pagesel.h')
-rw-r--r--Build/source/texk/xdvik/gui/pagesel.h71
1 files changed, 71 insertions, 0 deletions
diff --git a/Build/source/texk/xdvik/gui/pagesel.h b/Build/source/texk/xdvik/gui/pagesel.h
new file mode 100644
index 00000000000..aad1b591456
--- /dev/null
+++ b/Build/source/texk/xdvik/gui/pagesel.h
@@ -0,0 +1,71 @@
+/*
+ * Copyright (c) 2001-2004 the xdvik development team
+ *
+ * Page selector for xdvi
+ *
+ * Copyright (c) 1993, 1995
+ * MATSUURA Syun syun@fuka.info.waseda.ac.jp
+ * HIRAHARA Atsushi hirahara@fuka.info.waseda.ac.jp
+ * ONO Kouichi onono@fuka.info.waseda.ac.jp
+ *
+ * All rights reserved.
+ */
+
+/* SU: I was unsure how to interpret the `All rights reserved' in the
+ * previous line, so emailed Ono Kouichi about this. Here's (the
+ * relevant part of) his answer (which was CC'ed to Hirahara Atsushi -
+ * all three of them had left Waseda university around '95):
+ *
+ * You can modify, embed, copy and distribute a part of or the
+ * entire of our source code when you specify our copyright in your
+ * xdvik version.
+ *
+ * IANAL, but I think this is compatible with the X consortium
+ * license as specified in the other files.
+ */
+
+#ifndef PAGESEL_H_
+#define PAGESEL_H_
+
+#include "xdvi.h"
+
+extern void refresh_pagelist(int newsize, int newpage);
+extern void maybe_scroll_pagelist(int newpage, Boolean force_recenter);
+extern void create_pagelist(void);
+extern void list_toggle_current(int arg);
+extern void list_toggle_marks(int arg);
+
+# ifdef MOTIF
+extern Widget page_list;
+extern void toggle_pagelist(void);
+# else
+extern int xaw_get_pagelist_size(void);
+extern void xaw_create_pagelist_widgets(Dimension height, Dimension width, Position y, Widget parent);
+extern void handle_destroy_pagelist(Widget w, XtPointer client_data, XtPointer call_data);
+extern void handle_pagelist_resize(void);
+# endif
+
+/* pageinfo access methods */
+extern long pageinfo_get_offset(int page);
+extern int pageinfo_get_number(int page);
+extern int pageinfo_get_index_of_number(int number);
+
+extern unsigned int pageinfo_get_page_width(int page);
+extern unsigned int pageinfo_get_page_height(int page);
+extern unsigned int pageinfo_get_window_width(int page);
+extern unsigned int pageinfo_get_window_height(int page);
+
+extern void pageinfo_set_page_width(int page, unsigned int width);
+extern void pageinfo_set_page_height(int page, unsigned int height);
+extern void pageinfo_set_window_width(int page, unsigned int width);
+extern void pageinfo_set_window_height(int page, unsigned int height);
+
+extern void pageinfo_set_offset(int index, long offset);
+extern void pageinfo_set_number(int index, int number);
+
+extern void pageinfo_allocate(int total_pages);
+extern void pageinfo_deallocate(void);
+extern Boolean pageinfo_is_marked(int i);
+extern Boolean pageinfo_have_marked_pages(void);
+
+#endif /* PAGESEL_H_ */