Found in gedit 2.30.2 , i think, it's a bug. ß is not the same as ss in german. It's not a feature. Yes you can use "Klein- und Großschreibung beachten" to solve it, but german ß is not a uper case.
-- search (and replace) takes ss as ß https://bugs.launchpad.net/bugs/332321 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs