gwt - 高亮显示源代码的 GWT 库

Question

我正在尝试找到准备好使用 gwt 库来突出显示源代码，但我找不到任何东西。

开始考虑在每次页面渲染后使用http://code.google.com/p/google-code-prettify/并简单调用 JS 函数，但也许有一些更好的决定。