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
 
TABLET & SMARTPHONE APPS
Bald erhältlich
Get it on Google Play

Deutschland

Ä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 02/2018-04/2018: Distributionen - freie Auswahl

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

EasyLinux erscheint vierteljährlich und kostet 9,80 Euro. Weitere Infos zum Heft finden Sie auf der Homepage.

Das Jahresabo kostet ab 33,30 Euro. Details dazu finden Sie im Computec-Shop.

Bei Google Play finden Sie digitale Ausgaben für Tablet & Smartphone.

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

Stellenmarkt

Aktuelle Fragen

sharklinux
Gerd-Peter Behrendt, 18.01.2018 23:58, 0 Antworten
Hallo zusammen, ich habe sharklinux von der DVD Installiert. 2x, jedesmal nach dem Reboot ist di...
Anfänger sucht Ratschläge
Alucard Nosferatu, 18.01.2018 21:56, 3 Antworten
Guten Tag, meine Wenigkeit würde gerne auf einer meiner Festplatten von meinen Feldrechnern e...
Suchprogramm
Heiko Taeuber, 17.01.2018 21:12, 1 Antworten
Hallo liebe Community, keine Ahnung ob dieses Thema hier schon einmal gepostet wurde. Ich hab...
Linux Mint als Zweitsystem
Wolfgang Robert Luhn, 13.01.2018 19:28, 4 Antworten
Wer kann mir helfen??? Habe einen neuen Laptop mit vorinstaliertem Windows 10 gekauft. Möchte g...
externe soundkarte Kaufempfehlung
lara grafstr , 13.01.2018 10:20, 4 Antworten
Hallo Ich bin auf Suche nach einer externen soundkarte.. Max 150 Euro Die Wiedergabe is...