Hi!
Irgendwie bin ich anscheinend blind - ich finde unter Kate bei den Einstellungen zu Suchen/Ersetzen keine Möglichkeit, die Beachtung von Groß/Kleinschrmeibung zu aktivieren. Im Handbuch steht zwar, dass man "Ergebnisse umschalten" könne, aber die dazu erforderliche grüne Pfeil-Schaltfläche finde ich nicht. Ich nutze Kate unter GNOME3, fehlt da dann ggf. etwas???
so long
hank