Hoi,
Ik gebruik nu Ubuntu 7.10, en heb laatst de officiele RealPlayer eens geïnstalleerd. Alleen heeft Realplayer de icoontjes van mijn mime-types veranderd, zodat bv. bij een mp3 bestand een realplayer icoon komt te staan, en niet het icoon dat bij mijn icoonthema hoort. Hoe kun je dit veranderen?
Het thema zelf is niet veranderd, en het gaat ook niet weg als ik van icoonthema verander.
