Это было бы здорово. Я не смог найти его с помощью Google. Кто-нибудь слышал или видел что-то о Pluma или хотите создать плагин?
(Pluma - это текстовый редактор для Mate Desktop. Mate Desktop - это форк Gnome 2, поэтому Pluma - форк Gedit Gnome 2).