2014-05-29 9:11 GMT+01:00 kilon alios <kilon.alios@gmail.com>:

I would also like to take a deep look and see if with your help can document the theming. You think that themes now are more coder friendly or is Dark theme still a hack ?��

(just noticed it right now): Try to revert to a "regular" theme and tell me what color is the text cursor, that should partially answer your question :D

Cheers,

Sergi