Xditview.geometry: 600x800 *MenuButton*Font: -*-helvetica-bold-r-normal--*-120-*-*-*-*-iso8859-1 *SimpleMenu*Font: -*-helvetica-bold-r-normal--*-120-*-*-*-*-iso8859-1 *Text*Font: -*-courier-medium-r-normal--*-120-*-*-*-*-iso8859-1 *paned.allowResize: true *paned.?.showGrip: false *paned.?.skipAdjust: false *paned.form.porthole.width: 600 *paned.form.porthole.height: 800 *paned.label.skipAdjust: true *MenuButton.shapeStyle: oval *Command.shapeStyle: oval *fileMenuButton.label: File *fileMenuButton.leftBitmap: menu12 *fileMenuButton.menuName: fileMenu *fileMenu.openFile.label: Open File *fileMenu.revisitFile.label: Reopen File *fileMenu.setResolution.label: Set Screen Resolution *fileMenu.quit.label: Quit *prevButton.bitmap: ldblarrow *prevButton.internalHeight: 0 *prevButton.Translations: #override : PreviousPage() unset() *pageNumber.translations: #override\ CtrlJ: SetPageNumber()\n\ CtrlM: SetPageNumber()\n\ Linefeed: SetPageNumber()\n\ Return: SetPageNumber()\n\ CtrlO: Noop()\n\ MetaI: Noop()\n\ CtrlN: Noop()\n\ CtrlP: Noop()\n\ CtrlZ: Noop()\n\ MetaZ: Noop()\n\ space: NextPage()\n\ Ctrlv: NextPage()\n\ Metav: PreviousPage()\n\ Next: NextPage()\n\ Prior: PreviousPage()\n\ Find: OpenFile() *pageNumber*editType: edit *nextButton.bitmap: rdblarrow *nextButton.internalHeight: 0 *nextButton.translations: #override : NextPage() unset() *viewport.allowResize: false *viewport.forceBars: true *viewport.allowHoriz: true *viewport.allowVert: true *dvi.translations: #augment \ : XawPositionSimpleMenu(popupMenu) MenuPopup(popupMenu)\n\ Ctrlv: NextPage()\n\ Metav: PreviousPage()\n\ space: NextPage()\n\ Next: NextPage()\n\ Prior: PreviousPage()\n\ Find: OpenFile() *dvi.baseTranslations: #augment \ : XawPositionSimpleMenu(popupMenu) MenuPopup(popupMenu)\n\ space: NextPage()\n\ Ctrlv: NextPage()\n\ Metav: PreviousPage()\n\ Next: NextPage()\n\ Prior: PreviousPage()\n\ Find: OpenFile() *popupMenu.nextPage.label: Next Page *popupMenu.previousPage.label: Previous Page *popupMenu.setResolution.label: Set Screen Resolution *popupMenu.openFile.label: Open File *popupMenu.revisitFile.label: Reopen File *popupMenu.quit.label: Quit *promptShell.allowShellResize: true *promptShell.promptDialog.value.translations: #override\ Return: Accept() *promptShell.promptDialog.value.baseTranslations: #override\ Return: Accept() *promptShell.promptDialog.accept.label: Accept *promptShell.promptDialog.accept.translations: #override\ : Accept() unset() *promptShell.promptDialog.accept.baseTranslations: #override \ : Accept() unset() *promptShell.promptDialog.cancel.label: Cancel *promptShell.promptDialog.cancel.translations: #override \ : Cancel() unset() *promptShell.promptDialog.cancel.baseTranslations: #override \ : Cancel() unset()