DEVEL: Prevent caching RequireJS files.
Discard the shadow editor if semantic highlighting is switched off
Enable toggling semantic highligthing.
ADDED: MVC for preference management