Gnome-Tipps

Tipp: "gedit": Auf einen Blick

Neben der Standardsuchfunktion, die Sie über [Strg]+[F] oder das Menü Suchen auf den Plan rufen, bietet Gnomes Texteditor eine praktische, interaktive Suche, die Sie über [Strg]+[K] (alternativ im Menü: Suchen / Incremental Search) aktivieren. Der Editor blendet am oberen Rand des Dokuments nun ein Suchfeld ein, in das Sie das Gesuchte eingeben. Schon während des Tippens zeigt das Programm die Fundstellen farblich markiert an. Über die Tastatur springen Sie in Windeseile zum nächsten ([Strg]+[G]) und vorherigen ([Strg]+[Umschalt]+[G]) Treffer.

Groß- und Kleinschreibung unterscheidet diese Suchfunktion in der Voreinstellung nicht. Sie erreichen dieses Verhalten, indem Sie mit der rechten Maustaste in das kleine Suchfeld klicken und im Kontextmenü den Punkt Groß-/Kleinschreibung berücksichtigen aktivieren.

Tipp: Praktische Plug-ins für "gedit"

Die Gnome-Entwickler haben dem Texteditor jede Menge optionale Erweiterungen spendiert, die Sie bequem über den Reiter Plugins im Dialog Bearbeiten / Einstellungen aktivieren. Sie schalten die Erweiterungen mit Klicks in die Checkboxen ein oder aus. Einige der Plug-ins können Sie über die Schaltfläche Plugin konfigurieren anpassen. Gnome-typisch sind alle Änderungen sofort bei Auswahl aktiv. Einige Funktionen, zum Beispiel Benutzername, Datum/Uhrzeit einfügen oder Groß-/Kleinschreibung verändern, finden Sie nach dem Einschalten im Menü Bearbeiten. Andere Plug-ins, wie die Floskelliste oder die Dateiverwaltungsleiste, erscheinen als Reiter in der linken Seitenleiste, die Sie über das Menü Ansicht oder die Taste [F9] ein- und ausblenden. Die Erweiterungen Rechtschreibprüfung und Statistik zum Dokument sind hingegen im Menü Werkzeuge beheimatet.