2014-05-29 9:11 GMT+01:00 kilon alios <[email protected]>: > 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
