home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-385-Vol-1of3.iso / s / stex2-18.zip / SeeTeX / Xtex / widgets.h < prev    next >
C/C++ Source or Header  |  1992-05-05  |  2KB  |  79 lines
  1. /*
  2.  * Copyright 1989 Dirk Grunwald
  3.  * 
  4.  * Permission to use, copy, modify, distribute, and sell this software
  5.  * and its documentation for any purpose is hereby granted without fee,
  6.  * provided that the above copyright notice appear in all copies and that
  7.  * both that copyright notice and this permission notice appear in
  8.  * supporting documentation, and that the name of Dirk Grunwald or M.I.T.
  9.  * not be used in advertising or publicity pertaining to distribution of
  10.  * the software without specific, written prior permission.  Dirk
  11.  * Grunwald and M.I.T. makes no representations about the suitability of
  12.  * this software for any purpose.  It is provided "as is" without express
  13.  * or implied warranty.
  14.  * 
  15.  * DIRK GRUNWALD AND M.I.T. DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS
  16.  * SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
  17.  * FITNESS, IN NO EVENT SHALL M.I.T.  BE LIABLE FOR ANY SPECIAL, INDIRECT
  18.  * OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS
  19.  * OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
  20.  * OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE
  21.  * OR PERFORMANCE OF THIS SOFTWARE.
  22.  * 
  23.  * Author:
  24.  *     Dr. Dirk Grunwald
  25.  *     Dept. of Computer Science
  26.  *     Campus Box 430
  27.  *     Univ. of Colorado, Boulder
  28.  *     Boulder, CO 80309
  29.  * 
  30.  *     grunwald@colorado.edu
  31.  *     
  32.  */ 
  33. extern Widget topPane;
  34.  
  35. /*
  36.  *    Widgets related to file I/O
  37.  */
  38. extern Widget topFileBox;
  39. extern Widget fileNameText;
  40. extern Widget openButton;
  41. extern Widget closeButton;
  42. extern Widget copyButton;
  43. extern Widget cdButton;
  44. extern Widget quitButton;
  45. #ifdef SELFILE
  46. extern Widget selectButton;
  47. #endif
  48.  
  49. extern Widget directoryLabel;
  50. extern Widget fileLabel;
  51.  
  52. /*
  53.  *    Widgets related to the pages table
  54.  */
  55. extern Widget pageButton;
  56. extern Widget printAllButton;
  57. extern Widget printMarkedButton;
  58. extern Widget printUnmarkedButton;
  59.  
  60. extern Widget clearMarksButton;
  61. extern Widget markMenuViewPort;
  62. extern Widget markMenuList;
  63.  
  64. /*
  65.  *    Error dialog widgets
  66.  */
  67.  
  68. extern Widget errorMsgBox;
  69. extern Widget errorText;
  70. extern Widget clearButton;
  71.  
  72. /*
  73.  *    Things that build widgets
  74.  */
  75.  
  76. extern void BuildErrorBox();
  77. extern void BuildFileLevel();
  78. extern void BuildPageLevel();
  79.