Como você pode ver na imagem acima, a barra de menus do VLC não usa o mesmo tema Numix que o resto do meu sistema operacional. Em vez disso, ele usa algo que parece fora dos anos 90. Acontece independentemente do tema usado, e só acontece no MATE. Funciona bem no Unity e no GNOME. Qualquer maneira de corrigir isso?
Outros aplicativos afetados: Focuswriter, que também parece se recusar a usar os ícones Numix ... e parece ser isso.
Encontrou uma solução para o VLC.
Navegue até Ferramentas > Preferências.
Na interface, clique no menu suspenso para forçar o estilo da janela. Selecione "GTK +".
Corrige tudo. Não apenas os itens de menu, mas também clique com o botão direito do mouse em menus, interface, etc.