linux|n00b Linux für Ein- und Umsteiger

18Mrz/110

Farbschemen in gedit einbinden

Farbschemen in gedit einbinden

Neben den vorinstallierten Farbprofilen für Code-Highlighting in gedit lassen sich weitere Farbprofile installieren. Diese, wie sie eigentlich genannt werden, Style Schemes sind nichts weiter als XML-Dateien und lassen sich entsprechend einfach in gedit einbinden. Style Schemes installieren Nach Herunterladen der entsprechenden XML-Datei für dein favorisiertes Farbschema kopierst du die XML-Datei in folgendes Unterverzeichnis in deinem [...] mehr

17Mrz/110

Plugins in gedit einbinden

Plugins in gedit einbinden

Dem geneigten Gnome-User dürfte der Texteditor gedit nicht gerade fremd sein. Um gedit ein wenig zu pimpen, lassen sich Plugins installieren, gedit bringt dafür bereits von Haus aus einige nützliche Plugins mit. Diese und weitere kannst du auf der Plugin-Seite von gedit einsehen. Aber wie installiert man diese Plugins, die nicht Teil der Standardinstallation von [...] mehr