Wir haben das Jahr 2019 und GEdit 3.30 und trotzdem grüßte mich heute der gleiche Bug wie in 2016: ß wird stillschweigend in ss umgewandelt, wenn man was sucht oder ersetzt!
Das ist wie der Murmeltiertag aus dem gleichnamigen Film. Und dieser Bug kann Eurer Frustrationslevel echt hochtreiben, wenn Ihr HTML Dokumente anpassen müßt, die sehr sehr sehr sehr viele „class=X“ Anweisungen enthalten und die jetzt alle so aussehen „claß=X“ , denn wenn man jetzt ß wieder in „ß“ umwandeln lässt bekommt man .. na.. wer rät es .. „claß=X“ … \o/ Da freut sich der Browser mal so richtig drüber! 🙁
Fazit: anderen Editor verwenden! urgs!