Issue 7126: 	Syntax highlighting in command editor is broken in Firefox 28