diff options
Diffstat (limited to 'Build/source/texk/xdvik/gui/pagesel.h')
-rw-r--r-- | Build/source/texk/xdvik/gui/pagesel.h | 71 |
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_ */ |