All the styles in my source editor Diavolo are now modifiable by the client. That will allow a UI to specify, modify, delete styles for a given grammar in the source editor. Yay :-)