Meiner Meinung nach ist gedit, der Gnome-Standard Editor, von Haus aus in Bezug auf die Funktionalität etwas schwach auf der Brust. Zum Glück kann man mit einigen Plugins die Funktionalität doch deutlich erhöhen. Am Besten installiert man zunächst die offiziellen Plugins mit
sudo apt-get install gedit-plugins
Weitere Third Party Plugins auf der Gnome-Seite installiert man, […]