XMagic*Font: -Misc-Fixed-Bold-R-Normal--13-120-75-75-C-70-ISO8859-1
XMagic*switch_dialog.value.translations: #override \n <Key>Return: getit()
XMagic*switch_dialog.value.width: 200
XMagic*file_dialog.value.translations: #override \n <Key>Return: getfile()
XMagic*file_dialog.value.width: 117
XMagic*file_dialog.width: 125
XMagic*symbol_dialog.value.translations: #override \n <Key>Return: getsymbol()
XMagic*define_dialog.value.translations: #override \n <Key>Return: getdefine()
XMagic*axiom_dialog.value.translations: #override \n\
					 <Key>Return: no-op(RingBell)
#ifdef COLOR
XMagic*Text*background: wheat
XMagic*List*background: PaleGreen
XMagic*Form*background: PaleGreen
XMagic*Form*Text*background: wheat
XMagic*Form*Command*background: coral
XMagic*Dialog*background: PaleGreen
XMagic*Dialog*Text*background: wheat
XMagic*Dialog*Command*background: coral
XMagic*Box*background: PaleGreen
XMagic*Box*Command*background: coral
XMagic*Form*Scrollbar*background: wheat
XMagic*Form*num_label.background: wheat
#endif

.