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