Ich möchte einige von mir definierte Zeichenfolgen in ersetzen gedit, nachdem ein Wort vervollständigt und/oder das Dokument gespeichert wurde. Beispielsweise \ðracsoll ersetzt werden durch\frac
Wie mache ich dies in geditoder mit einem Plugin für gedit?
Wenn dies in nicht möglich ist gedit, freue ich mich über Vorschläge für andere Programme, die über diese Funktion und den gleichen grundlegenden Funktionsumfang wie verfügen gedit.