"GXditview.height: 840", "GXditview.paned.allowResize: true", "GXditview.paned.viewport.allowVert: true", "GXditview.paned.viewport.allowHoriz: true", "GXditview.paned.viewport.skipAdjust: false", "GXditview.paned.viewport.width: 600", "GXditview.paned.viewport.height: 800", "GXditview.paned.viewport.showGrip: false", "GXditview.paned.label.skipAdjust: true", "GXditview.paned.viewport.dvi.translations: #augment \ : XawPositionSimpleMenu(menu) MenuPopup(menu)\\n\ Next: NextPage()\\n\ n: NextPage()\\n\ space: NextPage()\\n\ Return: NextPage()\\n\ Prior: PreviousPage()\\n\ p: PreviousPage()\\n\ BackSpace: PreviousPage()\\n\ Delete: PreviousPage()\\n\ Select: SelectPage()\\n\ Find: OpenFile()\\n\ r: Rerasterize()\\n\ q: Quit()", "GXditview.paned.label.translations: #augment \ : XawPositionSimpleMenu(menu) MenuPopup(menu)\\n\ Next: NextPage()\\n\ n: NextPage()\\n\ space: NextPage()\\n\ Return: NextPage()\\n\ Prior: PreviousPage()\\n\ p: PreviousPage()\\n\ BackSpace: PreviousPage()\\n\ Delete: PreviousPage()\\n\ Select: SelectPage()\\n\ Find: OpenFile()\\n\ r: Rerasterize()\\n\ q: Quit()", "GXditview.menu.nextPage.label: Next Page", "GXditview.menu.previousPage.label: Previous Page", "GXditview.menu.selectPage.label: Select Page", "GXditview.menu.print.label: Print", "GXditview.menu.openFile.label: Open", "GXditview.menu.quit.label: Quit", "GXditview.promptShell.allowShellResize: true", "GXditview.promptShell.promptDialog.value.translations: #override \ Return: Accept()", "GXditview.promptShell.promptDialog.accept.label: Accept", "GXditview.promptShell.promptDialog.accept.translations: #override \ : Accept() unset()", "GXditview.promptShell.promptDialog.cancel.label: Cancel", "GXditview.promptShell.promptDialog.cancel.translations: #override \ : Cancel() unset()",