home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Pinpoint the Exemplar Collection
/
P10R1095.ISO
/
lib
/
pinpoint
next >
Wrap
Text File
|
1995-10-11
|
9KB
|
308 lines
!! app-default file for PinPoint
!! Copyright (C) 1995, Convex Computer Corporation
!! $Date: 95/10/11 19:28:06 $
!!
!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! Application Wide Resources
!
! Default font
!
PinPoint*fontList: -*-helvetica-*-r-*-*-14-*-*-*-*-*-*-*
!
! Default colors
!
PinPoint*foreground: black
PinPoint*background: #A09B96
PinPoint*XmList*background: ivory3
PinPoint*toc_draw*background: ivory3
PinPoint*browser_draw*background: ivory3
PinPoint*toc_draw*borderColor: black
PinPoint*browser_draw*borderColor: black
PinPoint*raster_draw*background: ivory3
!
! Translation for text and text field widgets. Gives Unix/emacs
! style editting.
!
PinPoint*XmText*translations: #override \
<Key>Delete: delete-previous-character() \n\
Ctrl<Key>a: beginning-of-line() \n\
Ctrl<Key>b: backward-character() \n\
Ctrl<Key>d: delete-next-character() \n\
Ctrl<Key>e: end-of-line() \n\
Ctrl<Key>f: forward-character() \n\
Ctrl<Key>h: delete-previous-character() \n\
Ctrl<Key>n: next-line() \n\
Ctrl<Key>u: beginning-of-line()delete-to-end-of-line()\n\
Ctrl<Key>v: next-page() \n\
Alt<Key>f: forward-word() \n\
Alt<Key>b: backward-word()
!
PinPoint*XmTextField*translations: #override \
<Key>Delete: delete-previous-character() \n\
Ctrl<Key>a: beginning-of-line() \n\
Ctrl<Key>b: backward-character() \n\
Ctrl<Key>d: delete-next-character() \n\
Ctrl<Key>e: end-of-line() \n\
Ctrl<Key>f: forward-character() \n\
Ctrl<Key>h: delete-previous-character() \n\
Ctrl<Key>u: beginning-of-line()delete-to-end-of-line()\n\
Alt<Key>f: forward-word() \n\
Alt<Key>b: backward-word()
!
! popupQuitDialog resource tells if PinPoint should popup
! a quit confirmation dialog when selecting Quit from the
! File menu.
!
PinPoint*popupQuitDialog: True
!
! Set interval time for double-clicking. Time in milliseconds
!
PinPoint*multiClickTime: 500
!
! Maximum size for a pane in a paned window. Set to a large
! number if you want no restrictions.
!
PinPoint*XmPanedWindow*paneMaximum: 2000
!!
!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! LIBRARY WINDOW
!
PinPoint*Library.geometry: 600x450
PinPoint*Library*baseWidth: 0
PinPoint*Library*baseHeight: 0
PinPoint*Library.minWidth: 325
PinPoint*Library.minHeight: 450
!
! collectionList{Width,Height} resource controls the size of
! the Collections list in the Library window. The width is
! valid if the list orientation is horizontal. The height is
! valid if the list orientation is vertical.
!
PinPoint*Library*collectionListWidth: 200
PinPoint*Library*collectionListHeight: 125
!
! The fixedFont resource is used by the book list of the
! library window. It is important that the font is a
! mono-spaced, fixed-width font.
!
PinPoint*Library*fixedFont: -*-courier-bold-r-*-*-17-*-*-*-*-*-*-*
!
! Font settings for collections list. The `slant' tag is used
! for private collections. The default tag is used for system
! collections.
!
PinPoint*Library*Collections*fontList: \
-*-helvetica-bold-r-*-*-17-*-*-*-*-*-*-*, \
-*-helvetica-bold-o-*-*-17-*-*-*-*-*-*-*=slant
!
! Selection policy for the collection and book lists.
!
PinPoint*Library*libraryPane*selectionPolicy: \
EXTENDED_SELECT
!
! Default orientation of lists
!
PinPoint*Library*listOrientation: HORIZONTAL
!
! Visibility of the search panel
!
PinPoint*Library*showSearchPanel: True
!
!!
!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! BOOK WINDOW
!!
PinPoint*Book*geometry: 800x600
!
! toc{Width,Height} resource controls the size of the TOC
! view in the book window. The width is valid if the view
! orientation is horizontal. The height is valid if the view
! orientation is vertical.
!
PinPoint*Book*tocWidth: 250
PinPoint*Book*tocHeight: 200
!
! Thickness of the border around a main/TOC view when the
! view has the keyboard focus.
!
PinPoint*Book*toc_draw*borderWidth: 2
PinPoint*Book*browser_draw*borderWidth: 2
!
! Visibility resources
!
PinPoint*Book*showSearchPanel: True
PinPoint*Book*showTOC: True
!
! Default view orientation.
!
PinPoint*Book*viewOrientation: HORIZONTAL
!
! Maximum size of search histroy list.
!
PinPoint*Book*searchHistorySize: 20
!
! Book view font menu settings.
! The following resources set the menu items' names and
! font scale factors of the main/TOC view font size
! menus.
! Main view
! Default selection.
!
PinPoint*Book*mainFontDefaultChoice: 3
!
! Label strings of main view font size menu items.
!
PinPoint*Book*mainFontLabel1: Tiny
PinPoint*Book*mainFontLabel2: Small
PinPoint*Book*mainFontLabel3: Medium
PinPoint*Book*mainFontLabel4: Large
PinPoint*Book*mainFontLabel5: Huge
!
! Scale factors.
!
PinPoint*Book*mainFontScale1: 0.5
PinPoint*Book*mainFontScale2: 0.75
PinPoint*Book*mainFontScale3: 1.0
PinPoint*Book*mainFontScale4: 1.3
PinPoint*Book*mainFontScale5: 1.7
!
! TOC view
! Default selection.
!
PinPoint*Book*tocFontDefaultChoice: 3
!
! Label strings of TOC view font size menu items.
!
PinPoint*Book*tocFontLabel1: Tiny
PinPoint*Book*tocFontLabel2: Small
PinPoint*Book*tocFontLabel3: Medium
PinPoint*Book*tocFontLabel4: Large
PinPoint*Book*tocFontLabel5: Huge
!
! Scale factors.
!
PinPoint*Book*tocFontScale1: 0.5
PinPoint*Book*tocFontScale2: 0.75
PinPoint*Book*tocFontScale3: 1.0
PinPoint*Book*tocFontScale4: 1.25
PinPoint*Book*tocFontScale5: 1.5
!!
!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! HELP WINDOW
!!
PinPoint*Help*geometry: 800x520
!
! toc{Width,Height} resource controls the size of the TOC
! view in the book window. The width is valid if the view
! orientation is horizontal. The height is valid if the view
! orientation is vertical.
!
PinPoint*Help*tocWidth: 250
PinPoint*Help*tocHeight: 200
!
! Thickness of the border around a main/TOC view when the
! view has the keyboard focus.
!
PinPoint*Help*toc_draw*borderWidth: 2
PinPoint*Help*browser_draw*borderWidth: 2
!
! Visibility resources
!
PinPoint*Help*showSearchPanel: False
PinPoint*Help*showTOC: True
!
! Default view orientation.
!
PinPoint*Help*viewOrientation: HORIZONTAL
!
! Maximum size of search histroy list.
!
PinPoint*Help*searchHistorySize: 20
!
! Help view font menu settings.
! The following resources set the menu items' names and
! font scale factors of the main/TOC view font size
! menus.
! Main view
! Default selection.
!
PinPoint*Help*mainFontDefaultChoice: 3
!
! Label strings of main view font size menu items.
!
PinPoint*Help*mainFontLabel1: Tiny
PinPoint*Help*mainFontLabel2: Small
PinPoint*Help*mainFontLabel3: Medium
PinPoint*Help*mainFontLabel4: Large
PinPoint*Help*mainFontLabel5: Huge
!
! Scale factors.
!
PinPoint*Help*mainFontScale1: 0.5
PinPoint*Help*mainFontScale2: 0.75
PinPoint*Help*mainFontScale3: 1.0
PinPoint*Help*mainFontScale4: 1.3
PinPoint*Help*mainFontScale5: 1.7
!
! TOC view
! Default selection.
!
PinPoint*Help*tocFontDefaultChoice: 3
!
! Label strings of TOC view font size menu items.
!
PinPoint*Help*tocFontLabel1: Tiny
PinPoint*Help*tocFontLabel2: Small
PinPoint*Help*tocFontLabel3: Medium
PinPoint*Help*tocFontLabel4: Large
PinPoint*Help*tocFontLabel5: Huge
!
! Scale factors.
!
PinPoint*Help*tocFontScale1: 0.5
PinPoint*Help*tocFontScale2: 0.75
PinPoint*Help*tocFontScale3: 1.0
PinPoint*Help*tocFontScale4: 1.25
PinPoint*Help*tocFontScale5: 1.5
!!
!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! ANNOTATION/BOOKMARK MANAGER
!!
PinPoint*AnnotManager*geometry: 575x230
!
! The fixedFont resource is used by the list of the
! annotation manager. It is important that the font is a
! mono-spaced, fixed-width font.
!
PinPoint*AnnotManager*fixedFont: -*-courier-bold-r-*-*-17-*-*-*-*-*-*-*
!!
!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! PRINT DIALOG
!!
PinPoint*printDialog*tocframe.marginWidth: 5
PinPoint*printDialog*tocframe.marginHeight: 5
PinPoint*printDialog.printTocWidth: 285
PinPoint*printDialog.printTocHeight: 285
PinPoint*printDialog.printCommand: /usr/bin/lp -d$(PRINTER)
!
!!
!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! GRAPHIC WINDOW
!!
PinPoint*graphicWindow*geometry: 600x400
!
!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! About Box
!!
PinPoint*aboutDialog*.copyright.fontList: -*-helvetica-*-r-*-*-11-*-*-*-*-*-*-*
!
!! END