Quero substituir algumas strings definidas por mim em gedit, após a conclusão de uma palavra e/ou o documento ter sido salvo. Por exemplo, \ðracdeve ser substituído por\frac
Como faço isso em geditou com um plugin para gedit?
Se não for possível no gedit, fico feliz com sugestões de outros programas que possuem o recurso com o mesmo conjunto de recursos básicos do gedit.