Translations for the main window:
*VT100.Translations: #override\
	F1:  string(\340) \n\
	F2:  string(\342) \n\
	F3:  string(\344) \n\
	F4:  string(\351) \n\
	F5:  string(\350) \n\
	F6:  string(\352) \n\
	F7:  string(\356) \n\
	F8:  string(\357) \n\
	F9:  string(\364) \n\
	F10: string(\366) \n\
	F11: string(\347) \n\
	F12: string(\374)
Translations for xhtmledit:
xhtmledit*editWindow.translations: #override\n\
	F1:  insert-string(\340) \n\
	F2:  insert-string(\342) \n\
	F3:  insert-string(\344) \n\
	F4:  insert-string(\351) \n\
	F5:  insert-string(\350) \n\
	F6:  insert-string(\352) \n\
	F7:  insert-string(\356) \n\
	F8:  insert-string(\357) \n\
	F9:  insert-string(\364) \n\
	F10: insert-string(\366) \n\
	F11: insert-string(\347) \n\
	F12: insert-string(\374)