Я пытаюсь найти хорошую готовую к использованию библиотеку gwt для выделения исходного кода, но не могу найти ни одного.
Начал думать об использовании http://code.google.com/p/google-code-prettify/ и простом вызове JSработает после каждого рендеринга страницы, но, возможно, есть и лучшие решения.