home *** CD-ROM | disk | FTP | other *** search
/ Pinpoint the Exemplar Collection / P10R1095.ISO / lib / pinpoint next >
Text File  |  1995-10-11  |  9KB  |  308 lines
  1. !!    app-default file for PinPoint
  2. !!    Copyright (C) 1995, Convex Computer Corporation
  3. !!    $Date: 95/10/11 19:28:06 $
  4. !!
  5. !!
  6. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  7. !! Application Wide Resources
  8. ! 
  9. !     Default font
  10. !
  11. PinPoint*fontList:        -*-helvetica-*-r-*-*-14-*-*-*-*-*-*-*
  12. !
  13. !    Default colors
  14. !
  15. PinPoint*foreground:            black
  16. PinPoint*background:            #A09B96
  17. PinPoint*XmList*background:        ivory3
  18. PinPoint*toc_draw*background:        ivory3
  19. PinPoint*browser_draw*background:    ivory3
  20. PinPoint*toc_draw*borderColor:        black
  21. PinPoint*browser_draw*borderColor:    black
  22. PinPoint*raster_draw*background:    ivory3
  23. !
  24. !    Translation for text and text field widgets.  Gives Unix/emacs
  25. !    style editting.
  26. !
  27. PinPoint*XmText*translations:   #override \
  28.                 <Key>Delete:    delete-previous-character() \n\
  29.                 Ctrl<Key>a:     beginning-of-line() \n\
  30.                 Ctrl<Key>b:     backward-character() \n\
  31.                 Ctrl<Key>d:     delete-next-character() \n\
  32.                 Ctrl<Key>e:     end-of-line() \n\
  33.                 Ctrl<Key>f:     forward-character() \n\
  34.                 Ctrl<Key>h:     delete-previous-character() \n\
  35.                 Ctrl<Key>n:     next-line() \n\
  36.                 Ctrl<Key>u:     beginning-of-line()delete-to-end-of-line()\n\
  37.                 Ctrl<Key>v:     next-page() \n\
  38.                 Alt<Key>f:        forward-word() \n\
  39.                 Alt<Key>b:        backward-word()
  40. !
  41. PinPoint*XmTextField*translations:      #override \
  42.                 <Key>Delete:    delete-previous-character() \n\
  43.                 Ctrl<Key>a:     beginning-of-line() \n\
  44.                 Ctrl<Key>b:     backward-character() \n\
  45.                 Ctrl<Key>d:     delete-next-character() \n\
  46.                 Ctrl<Key>e:     end-of-line() \n\
  47.                 Ctrl<Key>f:     forward-character() \n\
  48.                 Ctrl<Key>h:     delete-previous-character() \n\
  49.                 Ctrl<Key>u:     beginning-of-line()delete-to-end-of-line()\n\
  50.                 Alt<Key>f:        forward-word() \n\
  51.                 Alt<Key>b:        backward-word()
  52. !
  53. !    popupQuitDialog resource tells if PinPoint should popup
  54. !    a quit confirmation dialog when selecting Quit from the
  55. !    File menu.
  56. !
  57. PinPoint*popupQuitDialog:        True
  58. !
  59. !    Set interval time for double-clicking.  Time in milliseconds
  60. !
  61. PinPoint*multiClickTime:        500
  62. !
  63. !    Maximum size for a pane in a paned window.  Set to a large
  64. !    number if you want no restrictions.
  65. !
  66. PinPoint*XmPanedWindow*paneMaximum:    2000
  67. !!
  68. !!
  69. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  70. !! LIBRARY WINDOW
  71. !
  72. PinPoint*Library.geometry:        600x450
  73. PinPoint*Library*baseWidth:        0
  74. PinPoint*Library*baseHeight:        0
  75. PinPoint*Library.minWidth:        325
  76. PinPoint*Library.minHeight:        450
  77. !
  78. !    collectionList{Width,Height} resource controls the size of
  79. !    the Collections list in the Library window.  The width is
  80. !    valid if the list orientation is horizontal.  The height is
  81. !    valid if the list orientation is vertical.
  82. !
  83. PinPoint*Library*collectionListWidth:    200
  84. PinPoint*Library*collectionListHeight:    125
  85. !
  86. !    The fixedFont resource is used by the book list of the
  87. !    library window.  It is important that the font is a
  88. !    mono-spaced, fixed-width font.
  89. !
  90. PinPoint*Library*fixedFont:    -*-courier-bold-r-*-*-17-*-*-*-*-*-*-*
  91. !
  92. !    Font settings for collections list.  The `slant' tag is used
  93. !    for private collections.  The default tag is used for system
  94. !    collections.
  95. !
  96. PinPoint*Library*Collections*fontList:  \
  97.                                 -*-helvetica-bold-r-*-*-17-*-*-*-*-*-*-*, \
  98.                                 -*-helvetica-bold-o-*-*-17-*-*-*-*-*-*-*=slant
  99. !
  100. !    Selection policy for the collection and book lists.
  101. !
  102. PinPoint*Library*libraryPane*selectionPolicy:    \
  103.                     EXTENDED_SELECT
  104. !
  105. !    Default orientation of lists
  106. !
  107. PinPoint*Library*listOrientation:    HORIZONTAL
  108. !
  109. !    Visibility of the search panel
  110. !
  111. PinPoint*Library*showSearchPanel:    True
  112. !
  113. !!
  114. !!
  115. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  116. !! BOOK WINDOW
  117. !!
  118. PinPoint*Book*geometry:            800x600
  119. !
  120. !    toc{Width,Height} resource controls the size of the TOC
  121. !    view in the book window.  The width is valid if the view
  122. !    orientation is horizontal.  The height is valid if the view
  123. !    orientation is vertical.
  124. !
  125. PinPoint*Book*tocWidth:            250
  126. PinPoint*Book*tocHeight:        200
  127. !
  128. !    Thickness of the border around a main/TOC view when the
  129. !    view has the keyboard focus.
  130. !
  131. PinPoint*Book*toc_draw*borderWidth:    2
  132. PinPoint*Book*browser_draw*borderWidth:    2
  133. !
  134. !    Visibility resources
  135. !
  136. PinPoint*Book*showSearchPanel:        True
  137. PinPoint*Book*showTOC:            True
  138. !
  139. !    Default view orientation.
  140. !
  141. PinPoint*Book*viewOrientation:        HORIZONTAL
  142. !
  143. !    Maximum size of search histroy list.
  144. !
  145. PinPoint*Book*searchHistorySize:    20
  146. !
  147. !    Book view font menu settings.
  148. !        The following resources set the menu items' names and
  149. !        font scale factors of the main/TOC view font size
  150. !        menus.
  151. !                    Main view
  152. !    Default selection.
  153. !
  154. PinPoint*Book*mainFontDefaultChoice:    3
  155. !
  156. !    Label strings of main view font size menu items.
  157. !
  158. PinPoint*Book*mainFontLabel1:        Tiny
  159. PinPoint*Book*mainFontLabel2:        Small
  160. PinPoint*Book*mainFontLabel3:        Medium
  161. PinPoint*Book*mainFontLabel4:        Large
  162. PinPoint*Book*mainFontLabel5:        Huge
  163. !
  164. !    Scale factors.
  165. !
  166. PinPoint*Book*mainFontScale1:        0.5
  167. PinPoint*Book*mainFontScale2:        0.75
  168. PinPoint*Book*mainFontScale3:        1.0
  169. PinPoint*Book*mainFontScale4:        1.3
  170. PinPoint*Book*mainFontScale5:        1.7
  171. !
  172. !                    TOC view
  173. !    Default selection.
  174. !
  175. PinPoint*Book*tocFontDefaultChoice:    3
  176. !
  177. !    Label strings of TOC view font size menu items.
  178. !
  179. PinPoint*Book*tocFontLabel1:        Tiny
  180. PinPoint*Book*tocFontLabel2:        Small
  181. PinPoint*Book*tocFontLabel3:        Medium
  182. PinPoint*Book*tocFontLabel4:        Large
  183. PinPoint*Book*tocFontLabel5:        Huge
  184. !
  185. !    Scale factors.
  186. !
  187. PinPoint*Book*tocFontScale1:        0.5
  188. PinPoint*Book*tocFontScale2:        0.75
  189. PinPoint*Book*tocFontScale3:        1.0
  190. PinPoint*Book*tocFontScale4:        1.25
  191. PinPoint*Book*tocFontScale5:        1.5
  192. !!
  193. !!
  194. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  195. !! HELP WINDOW
  196. !!
  197. PinPoint*Help*geometry:            800x520
  198. !
  199. !    toc{Width,Height} resource controls the size of the TOC
  200. !    view in the book window.  The width is valid if the view
  201. !    orientation is horizontal.  The height is valid if the view
  202. !    orientation is vertical.
  203. !
  204. PinPoint*Help*tocWidth:            250
  205. PinPoint*Help*tocHeight:        200
  206. !
  207. !    Thickness of the border around a main/TOC view when the
  208. !    view has the keyboard focus.
  209. !
  210. PinPoint*Help*toc_draw*borderWidth:    2
  211. PinPoint*Help*browser_draw*borderWidth:    2
  212. !
  213. !    Visibility resources
  214. !
  215. PinPoint*Help*showSearchPanel:        False
  216. PinPoint*Help*showTOC:            True
  217. !
  218. !    Default view orientation.
  219. !
  220. PinPoint*Help*viewOrientation:        HORIZONTAL
  221. !
  222. !    Maximum size of search histroy list.
  223. !
  224. PinPoint*Help*searchHistorySize:    20
  225. !
  226. !    Help view font menu settings.
  227. !        The following resources set the menu items' names and
  228. !        font scale factors of the main/TOC view font size
  229. !        menus.
  230. !                    Main view
  231. !    Default selection.
  232. !
  233. PinPoint*Help*mainFontDefaultChoice:    3
  234. !
  235. !    Label strings of main view font size menu items.
  236. !
  237. PinPoint*Help*mainFontLabel1:        Tiny
  238. PinPoint*Help*mainFontLabel2:        Small
  239. PinPoint*Help*mainFontLabel3:        Medium
  240. PinPoint*Help*mainFontLabel4:        Large
  241. PinPoint*Help*mainFontLabel5:        Huge
  242. !
  243. !    Scale factors.
  244. !
  245. PinPoint*Help*mainFontScale1:        0.5
  246. PinPoint*Help*mainFontScale2:        0.75
  247. PinPoint*Help*mainFontScale3:        1.0
  248. PinPoint*Help*mainFontScale4:        1.3
  249. PinPoint*Help*mainFontScale5:        1.7
  250. !
  251. !                    TOC view
  252. !    Default selection.
  253. !
  254. PinPoint*Help*tocFontDefaultChoice:    3
  255. !
  256. !    Label strings of TOC view font size menu items.
  257. !
  258. PinPoint*Help*tocFontLabel1:        Tiny
  259. PinPoint*Help*tocFontLabel2:        Small
  260. PinPoint*Help*tocFontLabel3:        Medium
  261. PinPoint*Help*tocFontLabel4:        Large
  262. PinPoint*Help*tocFontLabel5:        Huge
  263. !
  264. !    Scale factors.
  265. !
  266. PinPoint*Help*tocFontScale1:        0.5
  267. PinPoint*Help*tocFontScale2:        0.75
  268. PinPoint*Help*tocFontScale3:        1.0
  269. PinPoint*Help*tocFontScale4:        1.25
  270. PinPoint*Help*tocFontScale5:        1.5
  271. !!
  272. !!
  273. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  274. !! ANNOTATION/BOOKMARK MANAGER
  275. !!
  276. PinPoint*AnnotManager*geometry:        575x230
  277. !
  278. !    The fixedFont resource is used by the list of the
  279. !    annotation manager.  It is important that the font is a
  280. !    mono-spaced, fixed-width font.
  281. !
  282. PinPoint*AnnotManager*fixedFont:    -*-courier-bold-r-*-*-17-*-*-*-*-*-*-*
  283. !!
  284. !!
  285. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  286. !! PRINT DIALOG
  287. !!
  288. PinPoint*printDialog*tocframe.marginWidth:    5
  289. PinPoint*printDialog*tocframe.marginHeight:    5
  290. PinPoint*printDialog.printTocWidth:        285
  291. PinPoint*printDialog.printTocHeight:        285
  292. PinPoint*printDialog.printCommand:        /usr/bin/lp -d$(PRINTER)
  293. !
  294. !!
  295. !!
  296. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  297. !! GRAPHIC WINDOW
  298. !!
  299. PinPoint*graphicWindow*geometry:    600x400
  300. !
  301. !!
  302. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  303. !! About Box
  304. !!
  305. PinPoint*aboutDialog*.copyright.fontList: -*-helvetica-*-r-*-*-11-*-*-*-*-*-*-*
  306. !
  307. !! END
  308.