1baed689fSmrg*allowShellResize:		true
2baed689fSmrgXConsole.translations:		#override\
3baed689fSmrg	<MapNotify>:		Deiconified()	\n\
4baed689fSmrg	<UnmapNotify>:		Iconified()	\n\
5baed689fSmrg	<Message>WM_PROTOCOLS:	Quit()
6baed689fSmrgXConsole.baseTranslations:		#override\
7baed689fSmrg	<MapNotify>:		Deiconified()	\n\
8baed689fSmrg	<UnmapNotify>:		Iconified()	\n\
9baed689fSmrg	<Message>WM_PROTOCOLS:	Quit()
10baed689fSmrg*text.translations:		#override\
11d5e55f73Smrg	<Btn4Down>:		scroll-one-line-down() \n\
12d5e55f73Smrg	<Btn5Down>:		scroll-one-line-up() \n\
13baed689fSmrg	Ctrl<KeyPress>C:	Clear()	\n\
14baed689fSmrg	<KeyPress>Clear:	Clear()
15baed689fSmrg*text.baseTranslations:		#override\
16d5e55f73Smrg	<Btn4Down>:		scroll-one-line-down() \n\
17d5e55f73Smrg	<Btn5Down>:		scroll-one-line-up() \n\
18baed689fSmrg	Ctrl<KeyPress>C:	Clear()	\n\
19baed689fSmrg	<KeyPress>Clear:	Clear()
20baed689fSmrg*text.scrollVertical:		Always
21baed689fSmrg*text.scrollHorizontal:		Never
22baed689fSmrg*text.width:			400
23baed689fSmrg*text.height:			70
24baed689fSmrg*text.allowResize:		true
25baed689fSmrg*editType:			read
26