Code viewer like on google code search

Hello,

does anybody knows if the code viewer which is used on google code
search is available for download anywhere?
http://www.google.com/codesearch/p?hl=de#vNbneu5q_7Q/trunk/Tariq/gnupg.py&q=gnupg&sa=N&cd=3&ct=rc

Are any other libraries available for code highlightning and line
numbering?
I don'r want to use any wrapper, which includes JavaScript libraries.
Only pure GWT widgets.

Thanks

--
You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group.
To post to this group, send email to google-web-toolkit@googlegroups.com.
To unsubscribe from this group, send email to google-web-toolkit+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.