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, 0 insertions, 71 deletions
diff --git a/Build/source/texk/xdvik/gui/pagesel.h b/Build/source/texk/xdvik/gui/pagesel.h
deleted file mode 100644
index aad1b591456..00000000000
--- a/Build/source/texk/xdvik/gui/pagesel.h
+++ /dev/null
@@ -1,71 +0,0 @@
-/*
- * 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_ */