The text editor is not a good solution to edit non-html pages like Web Script or Web Style.
/cc @romain @vincentB