gksudo gedit /etc/firefox/firefoxrcen zorg ervoor dat de lijn met FIREFOX_DSP er als volgt uitziet: FIREFOX_DSP=