Source editor use of CodeMirror clashes with other plugins

We've just installed the source editor on our intranet, very nice it is too, thanks. Only we've just discovered that its use of CodeMirror clashes with the version of CodeMirror used in Theme Builders admin pages.

Is there any chance you could restrict the context of your web-resources to avoid being included when not required?

To replicate:

• Install both plugins
• Go to Admin > Manage Builder Layouts
• Select the CSS tab
• Click 'Edit Custom CSS'
• You'll see a dialog appear with 'Custom CSS' tab and a grey area - this should be a white CodeMirror editor.

Cheers
Mark Gibson (Developer, Adaptavist)