Lighting a fire under the molasses-running-uphill-in-January Gnome menu…
sudo gtk-update-icon-cache -f /usr/share/icons/NAME_OF_THEME
echo gtk-menu-popup-delay = 100 >> ~/.gtkrc-2.0
(100 works for me so far, but can be adjusted by editing .gtkrc-2.0; lower numbers faster, higher numbers slower)
When I fsck up VLC again and get it stuck on a skin….
vlc –reset-config