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.

LinuxCommunity kaufen

Einzelne Ausgabe
 
Abonnements
 

Ähnliche Artikel

  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor. In dieser Ausgabe geht es u. a. um Nautilus, Totem, Evince und Pidgin.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellt EasyLinux regelmäßig nützliche Kniffe und praktische Tools für die alternative grafische Oberfläche vor.
  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor. Seit Ausgabe 01/2012 zeigen wir Tricks für die dritte Generation des Desktops: die Gnome Shell.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
Kommentare

Infos zur Publikation

EL 03/2015: Distributionen im Test

Digitale Ausgabe: Preis € 9,80
(inkl. 19% MwSt.)

EasyLinux erscheint vierteljährlich und kostet EUR 9,80. Weitere Informationen zum Heft finden Sie auf der EasyLinux-Homepage.

Das EasyLinux-Jahresabo mit Prämie kostet ab EUR 33,30. Details zum EasyLinux-Jahresabo finden Sie im Medialinx-Shop.

NEU: DIGITALE AUSGABEN FÜR TABLET & SMARTPHONE

HINWEIS ZU PAYPAL: Die Zahlung ist auch ohne eigenes Paypal-Konto ganz einfach per Kreditkarte oder Lastschrift möglich!      

Tipp der Woche

Grammatikprüfung in LibreOffice nachrüsten
Grammatikprüfung in LibreOffice nachrüsten
Tim Schürmann, 24.04.2015 19:36, 2 Kommentare

LibreOffice kommt zwar mit einer deutschen Rechtschreibprüfung und einem guten Thesaurus, eine Grammatikprüfung fehlt jedoch. In ältere 32-Bit-Versionen ...

Aktuelle Fragen

Scanner EPSON Perfection V 300 photo und VueScan
Roland Welcker, 19.08.2015 09:04, 1 Antworten
Verehrte Linux-Freunde, ich habe VueScan in /usr/local/src/vuex_3295/VueScan installiert, dazu d...
Empfehlung gesucht Welche Dist als Wirt für VM ?
Roland Fischer, 31.07.2015 20:53, 2 Antworten
Wer kann mir Empfehlungen geben welche Distribution gut geeignet ist als Wirt für eine VM für Win...
Plugins bei OPERA - Linux Mint 17.1
Christoph-J. Walter, 23.07.2015 08:32, 3 Antworten
Beim Versuch Video-Sequenzen an zu schauen kommt die Meldung -Plug-ins und Shockwave abgestürzt-....
Wird Windows 10 update/upgrade mein Grub zerstören ?
daniel s, 22.07.2015 08:31, 9 Antworten
oder rührt Windows den Bootloader nicht an? das ist auch alles was Google mir nicht beantw...
Z FUER Y UND ANDERE EINGABEFEHLER AUF DER TASTATUR
heide marie voigt, 10.07.2015 13:53, 2 Antworten
BISHER konnte ich fehlerfrei schreiben ... nun ist einiges drucheinander geraten ... ich war bei...