Zeilennummern bei Gedit / Gnome Texteditor einschalten

 

Hier ein kurzer Beitrag aus der imaginären Reihe “ach, das geht?” Was unter Windows das Notepad ist, ist unter der Gnome Desktopumgebung Gedit. Er ist der Standard-Texteditor der Gnome Desktopumgebung, der mir allerdings nie durch seinen Funktionsumfang oder Bedienkomfort aufgefallen ist.

Anzeige:

Was mir häufig gefehlt hat, war die Möglichkeit Zeilennummern einzublenden. Wie sich herausgestellt hat, kann Gedit das allerdings sehr wohl und noch einiges mehr, was mir auch nicht bewusst war. So lässt er sich z.B. mit Plugins erweitern.

Das Anzeigen von Zeilennummern lässt sich allerdings ganz einfach in den Einstellungen aktivieren, die allerdings wenig intuitiv nicht über das Hamburgermenü zu erreichen sind, sondern über die Gnome Statusleiste.
Wenn man sie einmal gefunden hat, kann man hier einfach einen Haken bei “Zeilennummern anzeigen” setzen.

 


Dieser Text ist lizensiert unter einer Creative Commons Namensnennung 4.0 International Lizenz.
Anzeige:
Amazon Echo (2. Gen.), Intelligenter Lautsprecher mit Alexa, Anthrazit Stoff
Preis: EUR 99,99
(Stand von: 20.02.2019 7:30 - Details
×
Produktpreise und -verfügbarkeit sind zum angegebenen Datum / Uhrzeit korrekt und können sich ändern. Alle Preis- und Verfügbarkeitsinformationen auf https://www.amazon.de/ zum Zeitpunkt des Kaufs gelten für den Kauf dieses Produkts.
)
1 neu von EUR 99,990 gebraucht
  • Amazon Echo verbindet sich mit dem cloudbasierten Alexa Voice Service, um Musik abzuspielen, Anrufe zu tätigen, Wecker und Timer zu stellen, den Kalender, das Wetter, die Verkehrslage und Sportergebnisse abzurufen, Fragen zu stellen, To-do- und Einkaufslisten zu verwalten, kompatible Smart Home-Geräte zu bedienen und mehr. Einfach fragen.
  • Fragen Sie einfach nach einem Song, Künstler oder Genre von Amazon Music, Spotify, TuneIn und weiteren. Mit Multiroom Musik können Sie Musik auf Ihren Echo-Geräten in verschiedenen Räumen wiedergeben (verfügbar für Amazon Music, TuneIn und Spotify; Bluetooth wird nicht unterstützt). Zudem kann Echo Hörbücher, Radiosender, die Nachrichten und mehr abspielen.
  • Tätigen Sie Anrufe und senden Sie Nachrichten an alle mit einem Echo-Gerät oder der Alexa App. Oder verbinden Sie sich schnell allein mithilfe Ihrer Stimme mit anderen Echo-Geräten bei Ihnen zuhause.
  • Neue Lautsprecher mit Dolby-Technologie erfüllen den Raum mit einem 360° umfassenden Sound, präzisem Klang, tiefen Bässen sowie klaren hohen Tonlagen bei hoher Lautstärke.
  • Mit sieben Mikrofonen, Richtstrahltechnologie und Geräuschunterdrückung hört Echo Sie aus jeder Richtung - sogar wenn Musik läuft.
  • Bitten Sie Alexa einfach Ihre kompatiblen Lampen, Thermostate, Schalter und mehr zu steuern.
  • Alexa lernt ständig dazu und erhält neue Funktionen und Skills. Bitten Sie Alexa einfach Musik in anderen Zimmern abzuspielen, rufen Sie ein Taxi mit mytaxi, bestellen Sie eine Pizza und mehr.

Hinterlasse jetzt einen Kommentar


Die Angabe eines Namens oder einer Webseite ist optional. Weitere Informationen: siehe Datenschutzerklärung