1*input: TRUE 2 3*filename*preferredPaneSize: 525 4*editWindow*preferredPaneSize: 500 5 6*labelWindow.justify: center 7*labelWindow.label: no file yet 8*labelWindow.shadowWidth: 2 9 10*quit.label: Quit 11*save.label: Save 12*load.label: Load 13 14*buttons*orientation: horizontal 15*buttons*showGrip: False 16 17*messageWindow*preferredPaneSize: 50 18*Paned*Text*allowResize: True 19 20*messageWindow.autoFill: True 21*messageWindow.scrollVertical: WhenNeeded 22 23*editWindow.autoFill: True 24*editWindow.scrollVertical: WhenNeeded 25*editWindow.scrollHorizontal: WhenNeeded 26 27*bc_label.justify: center 28*bc_label.label: Use Control-S and Control-R to Search. 29*bc_label.shadowWidth: 2 30 31! 32! Keep CR in filename window from confusing the user. 33! 34 35*filename.translations: #override \ 36 <Key>Return: end-of-line() 37*filename.baseTranslations: #override \ 38 <Key>Return: end-of-line() 39