codesnippet пробовал, недавно, но Geshi мне больше понравился. Отдельный текстовый формат сделал - ничего не изменилось. В консоли js ругается, мол не хватает библиотек ему.

libraries/ajax/plugin.js
libraries/xml/plugin.js

Я только пока не совсем понимаю, где их взять. Так, в общем-то, меня модуль вполне устраивает. Но было бы здорово, чтобы можно было вставлять код кнопкой на панели.