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