diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-17 21:41:51 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-17 21:41:51 +0000 |
commit | 487ca4806cc046076293cf6cc5fbba0db282bac7 (patch) | |
tree | 847b412ab5158dd7bdd7ed7e5a4cc3fbca94be32 /Build/source/texk/xdvik/gui/pagesel.h | |
parent | a3d3111bfe26b8e5f5bc6049dfb2a4ca2edc7881 (diff) |
texk 1
git-svn-id: svn://tug.org/texlive/trunk@1485 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/xdvik/gui/pagesel.h')
-rw-r--r-- | Build/source/texk/xdvik/gui/pagesel.h | 71 |
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_ */ |