2009/1/21 Enrico Tröger enrico.troeger@uvena.de:
On Tue, 20 Jan 2009 17:03:37 +0100, Sebastien Barthelemy barthelemy@crans.org wrote:
Also, is it possible for a user to customize its colors at a single place for all the languages? (for instance if I want the comments to be blue in every language).
No. But it is on the TODO list.
great, consistent colors would easily follow then.
Thank you for the details.