Я установил пакет gir1.2-gtksource-3.0, но диспетчер внешних инструментов не работал, мне пришлось изменить права доступа к этому каталогу:
sudo chown <username> /home/<username>/.config/gedit