Wat beschaamd over mijn digibetes vraag ik: hoe type je iets in gedit? Ik gebruik Ubuntu 11.10. Sorry dat ik je hiermee nog eens lastigval! -- Frits