Tipp: GEdit: Alles so schön bunt hier

Im Dialog Bearbeiten / Einstellungen richten Sie auf dem Reiter Schrift und Farben Schrifttyp, -größe und -farbe ein. Weiterhin definieren Sie hier, wie Vorder- und Hintergrund des Texteditors eingefärbt sind (Standard ist schwarze Schrift auf weißem Grund). In diesem Bereich geben Sie ebenfalls vor, wie hervorgehobener (markierter) Text erscheint.

Darüber hinaus ist es möglich, das Syntax-Highlighting für die verschiedenen Hervorhebungsmodi, beispielsweise für HTML-Dateien, zu konfigurieren. Anders als die meisten Gnome-Anwendungen bietet gedit in diesem Bereich eine Schaltfläche Auf Vorgaben zurücksetzen, mit der Sie die Standardeinstellungen jederzeit wiederherstellen.

Tipp: GEdit durch Plug-ins erweitern

Über Bearbeiten / Datum und Uhrzeit einfügen bringen Sie GEdit dazu, an der aktuellen Cursorposition das Datum und/oder die Uhrzeit einzusetzen. Dabei können Sie zwischen verschiedenen Formaten wählen (Abbildung 4). Verantwortlich für dieses Feature zeigt sich eines von vielen Plug-ins. Informationen und Möglichkeiten zur Aktivierung und Deaktivierung finden Sie im Einrichtungsdialog von GEdit auf dem Reiter Plugins.

Abbildung 4: Auf Knopfdruck fügt GEdit Datum und Uhrzeit an der aktuellen Cursorposition ein.

Hier gibt es außerdem Erweiterungen, welche die Groß- und Kleinschreibung verändern, den Benutzernamen an der Cursorposition einfügen, häufig verwendete Floskeln zur Verfügung stellen und so weiter. Markieren Sie jeweils einen Eintrag in der Liste und klicken Sie auf die Schaltfläche Info zu Plugin, um Auskünfte über die Funktionsweise zu erhalten. Sämtliche aktivierten Erweiterungen finden Sie anschließend im Menü Bearbeiten.

LinuxCommunity kaufen

Einzelne Ausgabe
 
Abonnements
 

Ähnliche Artikel

  • 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.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. Seit kurzem stellt EasyLinux in den Gnome-Tipps regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • 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.
  • 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.
  • 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.
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, 7 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...