Hallo, und willkommen auf meinem Blog! Falls du hier neu bist und dir gefällt was ich schreibe, dann abonniere am besten meinen RSS-Feed um auf dem Laufenden zu bleiben.
Was das ist kannst du hier erfahren.
gedit: Schriftart an Dateityp anpassen
Gedit ist mein Standardtexteditor. Es existieren zahlreiche Plugins, um den Editor anzupassen und seine Fähigkeiten zu erweitern. Was mir aber bisher gefehlt hat ist ein Plugin, welches die Schriftart an den momentanen Dateiinhalt anpasst. Denn Quelltext stellt man für gewöhnlich in einem dicktengleichen Font und Fließtext in einer Schriftart mit Serifen dar. Beides hat seinen Sinn und unterstützt das Auge erheblich.
Abhilfe habe ich hier gefunden: https://askubuntu.com/questions/63534/per-file-type-preferences-in-gedit. Hat bei mir nicht sofort funktioniert, ich musste die beiden Dateien in /usr/lib/gedit-2/plugins anlegen. Das ganze lässt sich natürlich noch problemlos um andere Mimetypes erweitern, etwa durch das Einfügen folgender Zeile an entsprechender Stelle:elif ''x-php'' in mt:
view.set_font(False, ''DejaVu Sans Mono Book 10'')
Ich habe mich für die DejaVu-Schriftenfamilie entschieden, in den Ausprägungen Sans als Standardeinstellung, Serif für LaTeX-Dateien und Sans Mono für Quelltexte. Aber das ist wie so vieles Geschmackssache.
Kommentare:
Kommentare erscheinen erst nach der Freigabe unter einem Blogpost.
HTML ist nicht erlaubt.
