Alain

either we should change some textEditor into CodeEditor (and the inverse) or we 
should make sure that by default texts are not shouted.
Because we have a lot of place (like workspace, some inspector panes
So what do you think?

Stef

Reply via email to