Back to index

tetex-bin  3.0
pagesel.h
Go to the documentation of this file.
00001 /*
00002  * Copyright (c) 2001-2004 the xdvik development team
00003  *
00004  * Page selector for xdvi
00005  *
00006  * Copyright (c) 1993, 1995
00007  *      MATSUURA Syun           syun@fuka.info.waseda.ac.jp
00008  *      HIRAHARA Atsushi        hirahara@fuka.info.waseda.ac.jp
00009  *      ONO Kouichi             onono@fuka.info.waseda.ac.jp
00010  *
00011  * All rights reserved.
00012  */
00013 
00014 /* SU: I was unsure how to interpret the `All rights reserved' in the
00015  * previous line, so emailed Ono Kouichi about this.  Here's (the
00016  * relevant part of) his answer (which was CC'ed to Hirahara Atsushi -
00017  * all three of them had left Waseda university around '95):
00018  *
00019  *    You can modify, embed, copy and distribute a part of or the
00020  *    entire of our source code when you specify our copyright in your
00021  *    xdvik version.
00022  *
00023  * IANAL, but I think this is compatible with the X consortium
00024  * license as specified in the other files.
00025  */
00026 
00027 #ifndef PAGESEL_H_
00028 #define PAGESEL_H_
00029 
00030 #include "xdvi.h"
00031 
00032 extern void refresh_pagelist(int newsize, int newpage);
00033 extern void maybe_scroll_pagelist(int newpage, Boolean force_recenter);
00034 extern void create_pagelist(void);
00035 extern void list_toggle_current(int arg);
00036 extern void list_toggle_marks(int arg);
00037 
00038 # ifdef MOTIF
00039 extern Widget page_list;
00040 extern void toggle_pagelist(void);
00041 # else
00042 extern int xaw_get_pagelist_size(void);
00043 extern void xaw_create_pagelist_widgets(Dimension height, Dimension width, Position y, Widget parent);
00044 extern void handle_destroy_pagelist(Widget w, XtPointer client_data, XtPointer call_data);
00045 extern void handle_pagelist_resize(void);
00046 # endif
00047 
00048 /* pageinfo access methods */
00049 extern long pageinfo_get_offset(int page);
00050 extern int pageinfo_get_number(int page);
00051 extern int pageinfo_get_index_of_number(int number);
00052 
00053 extern unsigned int pageinfo_get_page_width(int page);
00054 extern unsigned int pageinfo_get_page_height(int page);
00055 extern unsigned int pageinfo_get_window_width(int page);
00056 extern unsigned int pageinfo_get_window_height(int page);
00057 
00058 extern void pageinfo_set_page_width(int page, unsigned int width);
00059 extern void pageinfo_set_page_height(int page, unsigned int height);
00060 extern void pageinfo_set_window_width(int page, unsigned int width);
00061 extern void pageinfo_set_window_height(int page, unsigned int height);
00062 
00063 extern void pageinfo_set_offset(int index, long offset);
00064 extern void pageinfo_set_number(int index, int number);
00065 
00066 extern void pageinfo_allocate(int total_pages);
00067 extern void pageinfo_deallocate(void);
00068 extern Boolean pageinfo_is_marked(int i);
00069 extern Boolean pageinfo_have_marked_pages(void);
00070 
00071 #endif /* PAGESEL_H_ */