VMware Workstation for Linux doesn’t seem to respect GTK+ themes on many Linux distributions. The reason for this is that it bundles a version of GTK+ that’s too old to load most modern system themes:
(vmware-modconfig:27223): Gtk-WARNING **: GModule (/usr/lib/gtk-2.0/2.10.0/engines/libxfce.so) initialization check failed: Gtk+ version too old (micro mismatch)
Workstation really tries to load the system GTK+ rather than its own, it really does. The problem is that it uses a set of C++ bindings called gtkmm that aren’t often installed on people’s desktop systems. If you’re getting the ugly old GTK+ that ships with VMware, you don’t have them installed, so it falls back on its bundled gtkmm (which links against the bundled GTK+). To fix this, just install the gtkmm libraries into your library path. On Ubuntu:
aptitude install libgtkmm-2.4-1c2a
And you’re all done. Adjust as necessary for your distro of choice.
7 November, 2010 at 10:04 PM
Thanks, just what I was looking for. VMware Workstation 7.1.2 on Arch Linux was giving me this error.
Installed gtkmm from the extra repo, all sorted out now. :)
7 June, 2011 at 11:20 PM
Worked like a champ with Xubuntu 11.04 and WS 7.1.4 tto. What was left is that it wasn’t able to write in user mode which was fixed by changing the permission of .vmware and all files below to read& write for group and others.
Thanks,
Juergen
26 June, 2012 at 2:05 AM
THANK YOU. I’ve been wondering why the icons all looked weird in VMware Workstation for the past few releases.
20 September, 2012 at 11:37 PM
Thank you very much, dude. It doesnot look weird anymore on Xu 12.04
27 July, 2015 at 5:44 AM
The accident of finding this post has britghened my day
19 August, 2016 at 6:38 PM
What’s it take to become a sublime expdonuer of prose like yourself?
4 November, 2016 at 8:44 PM
fantastic put up, very informative. I wonder why the other experts of this sector don’t understand this. You should continue your writing. I am confident, you’ve a great readers’ base already!
8 July, 2014 at 10:08 AM
It’s hard to find your page in google. I found
it on 22 spot, you should build quality backlinks , it will help you to rank to google top 10.
I know how to help you, just type in google – k2 seo tricks