1 1.1 mrg Xditview.geometry: 600x800 2 1.1 mrg *MenuButton*Font: -*-helvetica-bold-r-normal--*-120-*-*-*-*-iso8859-1 3 1.1 mrg *SimpleMenu*Font: -*-helvetica-bold-r-normal--*-120-*-*-*-*-iso8859-1 4 1.1 mrg *Text*Font: -*-courier-medium-r-normal--*-120-*-*-*-*-iso8859-1 5 1.1 mrg 6 1.1 mrg *paned.allowResize: true 7 1.1 mrg *paned.?.showGrip: false 8 1.1 mrg *paned.?.skipAdjust: false 9 1.1 mrg *paned.form.porthole.width: 600 10 1.1 mrg *paned.form.porthole.height: 800 11 1.1 mrg *paned.label.skipAdjust: true 12 1.1 mrg 13 1.1 mrg *MenuButton.shapeStyle: oval 14 1.1 mrg *Command.shapeStyle: oval 15 1.1 mrg 16 1.1 mrg *fileMenuButton.label: File 17 1.1 mrg *fileMenuButton.leftBitmap: menu12 18 1.1 mrg *fileMenuButton.menuName: fileMenu 19 1.1 mrg 20 1.1 mrg *fileMenu.openFile.label: Open File 21 1.1 mrg *fileMenu.revisitFile.label: Reopen File 22 1.1 mrg *fileMenu.setResolution.label: Set Screen Resolution 23 1.1 mrg *fileMenu.quit.label: Quit 24 1.1 mrg 25 1.1 mrg *prevButton.bitmap: ldblarrow 26 1.1 mrg *prevButton.internalHeight: 0 27 1.1 mrg *prevButton.Translations: #override <BtnUp>: PreviousPage() unset() 28 1.1 mrg 29 1.1 mrg *pageNumber.translations: #override\ 30 1.1 mrg Ctrl<Key>J: SetPageNumber()\n\ 31 1.1 mrg Ctrl<Key>M: SetPageNumber()\n\ 32 1.1 mrg <Key>Linefeed: SetPageNumber()\n\ 33 1.1 mrg <Key>Return: SetPageNumber()\n\ 34 1.1 mrg Ctrl<Key>O: Noop()\n\ 35 1.1 mrg Meta<Key>I: Noop()\n\ 36 1.1 mrg Ctrl<Key>N: Noop()\n\ 37 1.1 mrg Ctrl<Key>P: Noop()\n\ 38 1.1 mrg Ctrl<Key>Z: Noop()\n\ 39 1.1 mrg Meta<Key>Z: Noop()\n\ 40 1.1 mrg <Key>space: NextPage()\n\ 41 1.1 mrg Ctrl<Key>v: NextPage()\n\ 42 1.1 mrg Meta<Key>v: PreviousPage()\n\ 43 1.1 mrg <Key>Next: NextPage()\n\ 44 1.1 mrg <Key>Prior: PreviousPage()\n\ 45 1.1 mrg <Key>Find: OpenFile() 46 1.1 mrg *pageNumber*editType: edit 47 1.1 mrg 48 1.1 mrg *nextButton.bitmap: rdblarrow 49 1.1 mrg *nextButton.internalHeight: 0 50 1.1 mrg *nextButton.translations: #override <BtnUp>: NextPage() unset() 51 1.1 mrg 52 1.1 mrg *viewport.allowResize: false 53 1.1 mrg *viewport.forceBars: true 54 1.1 mrg *viewport.allowHoriz: true 55 1.1 mrg *viewport.allowVert: true 56 1.1 mrg 57 1.1 mrg *dvi.translations: #augment \ 58 1.1 mrg <Btn1Down>: XawPositionSimpleMenu(popupMenu) MenuPopup(popupMenu)\n\ 59 1.1 mrg Ctrl<Key>v: NextPage()\n\ 60 1.1 mrg Meta<Key>v: PreviousPage()\n\ 61 1.1 mrg <Key>space: NextPage()\n\ 62 1.1 mrg <Key>Next: NextPage()\n\ 63 1.1 mrg <Key>Prior: PreviousPage()\n\ 64 1.1 mrg <Key>Find: OpenFile() 65 1.1 mrg *dvi.baseTranslations: #augment \ 66 1.1 mrg <Btn1Down>: XawPositionSimpleMenu(popupMenu) MenuPopup(popupMenu)\n\ 67 1.1 mrg <Key>space: NextPage()\n\ 68 1.1 mrg Ctrl<Key>v: NextPage()\n\ 69 1.1 mrg Meta<Key>v: PreviousPage()\n\ 70 1.1 mrg <Key>Next: NextPage()\n\ 71 1.1 mrg <Key>Prior: PreviousPage()\n\ 72 1.1 mrg <Key>Find: OpenFile() 73 1.1 mrg *popupMenu.nextPage.label: Next Page 74 1.1 mrg *popupMenu.previousPage.label: Previous Page 75 1.1 mrg *popupMenu.setResolution.label: Set Screen Resolution 76 1.1 mrg *popupMenu.openFile.label: Open File 77 1.1 mrg *popupMenu.revisitFile.label: Reopen File 78 1.1 mrg *popupMenu.quit.label: Quit 79 1.1 mrg 80 1.1 mrg *promptShell.allowShellResize: true 81 1.1 mrg *promptShell.promptDialog.value.translations: #override\ 82 1.1 mrg <Key>Return: Accept() 83 1.1 mrg *promptShell.promptDialog.value.baseTranslations: #override\ 84 1.1 mrg <Key>Return: Accept() 85 1.1 mrg 86 1.1 mrg *promptShell.promptDialog.accept.label: Accept 87 1.1 mrg *promptShell.promptDialog.accept.translations: #override\ 88 1.1 mrg <BtnUp>: Accept() unset() 89 1.1 mrg *promptShell.promptDialog.accept.baseTranslations: #override \ 90 1.1 mrg <BtnUp>: Accept() unset() 91 1.1 mrg 92 1.1 mrg *promptShell.promptDialog.cancel.label: Cancel 93 1.1 mrg *promptShell.promptDialog.cancel.translations: #override \ 94 1.1 mrg <BtnUp>: Cancel() unset() 95 1.1 mrg *promptShell.promptDialog.cancel.baseTranslations: #override \ 96 1.1 mrg <BtnUp>: Cancel() unset() 97