Этот называется JEditor. Его очень легкий и имеет много современных функций редактора. Он также активно обновляется разработчиком. Вы можете скачать пакет deb здесь.