Esetleg ez is megoldás lehet:
cp -p /usr/lib/vmware/libconf/etc/gtk-2.0/gtkrc /usr/lib/vmware/libconf/etc/gtk-2.0/gtkrc.orig
vi /usr/lib/vmware/libconf/etc/gtk-2.0/gtkrc (or use your editor of choice!) to add the following lines:
style "user-font" { font_name="Bitstream Vera Sans 10" } widget_class "*" style "user-font"
gtk-font-name="Bitstream Vera Sans 10"
Már idegesített, úgyhogy megnéztem :)