1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
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_ */
|