1 /*
2 **
3 ** misc.h
4 **
5 ** Copyright (C) 1995, 1996, 1997 Johannes Plass
6 ** Copyright (C) 2004 Jose E. Marchesi
7 **
8 ** This program is free software; you can redistribute it and/or modify
9 ** it under the terms of the GNU General Public License as published by
10 ** the Free Software Foundation; either version 3 of the License, or
11 ** (at your option) any later version.
12 **
13 ** This program is distributed in the hope that it will be useful,
14 ** but WITHOUT ANY WARRANTY; without even the implied warranty of
15 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 ** GNU General Public License for more details.
17 **
18 ** You should have received a copy of the GNU General Public License
19 ** along with GNU gv; see the file COPYING.  If not, write to
20 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
21 ** Boston, MA 02111-1307, USA.
22 **
23 ** Author:   Johannes Plass (plass@thep.physik.uni-mainz.de)
24 **           Department of Physics
25 **           Johannes Gutenberg-University
26 **           Mainz, Germany
27 **
28 **           Jose E. Marchesi (jemarch@gnu.org)
29 **
30 */
31 
32 #ifndef	_GV_MISC_H_
33 #define	_GV_MISC_H_
34 
35 extern void    misc_drawEyeGuide (Widget, int, int, int);
36 extern void    misc_savePagePosition (void);
37 extern int     misc_restorePagePosition (int *, int *);
38 extern void    misc_resetPagePosition (void);
39 extern void    misc_setPageMarker (int /* entry */,
40                                    int /* kind */,
41                                    XEvent*, Boolean);
42 extern String  misc_testFile (String);
43 extern String  misc_changeFile (String);
44 extern String  close_file (FILE *, String);
45 extern int     check_file (int);
46 extern void    show_page (int, XtPointer);
47 extern Boolean setup_ghostview (void);
48 extern void    setup_layout_ghostview (void);
49 extern void    misc_buildPagemediaMenu (void);
50 extern int     catch_Xerror (Display*, XErrorEvent*);
51 extern char *  quote_filename (char*);
52 extern Widget  build_label_menu(Widget, String, String, Pixmap);
53 
54 #endif	/* _GV_MISC_H_ */
55 
56 
57 
58 
59 
60 
61 
62 
63 
64 
65 
66