Danke – interessanter Tipp, das kannte ich nur aus TextEdit.app, wo man mit ⌥-Taste Text auch vertikal selektieren kann für reine text-Dateien ist das oft genial