Does Magic use TK themes at all? I'm having some trouble getting the menus to be OS themed using

*TkTheme

Xresource, but it could also be me not understanding how it is supposed to work.