May 29, 2014
12:01 p.m.
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