Das hatte ich schon gefunden, vielen Dank. Allerdings wird dort auch keine Lösung geboten.theo hat geschrieben:http://www.lazarusforum.de/viewtopic.php?f=3&t=8365&p=73969&hilit=ime#p73969
Ich hab es mittlerweile geschafft, das Problem zumindest symptomatisch zu beseitigen.
Für alle, die zukünftig mit dem Problem zu kämpfen haben, ich habe es folgendermaßen gelöst:
Im Terminal folgendes eingeben:
Code: Alles auswählen
sudo apt-get install im-switch
im-switch
use xim(default-xim)
computer neu starten
Und siehe da: Die Suchfunktion im Quelltexteditor funktioniert wieder ohne doppelte Buchstaben.