If this is your first visit, be sure to
check out the FAQ by clicking the
link above. You may have to register
before you can post: click the register link above to proceed. To start viewing messages,
select the forum that you want to visit from the selection below.
The editor used is codemirror. So you would need to find that css file. I found one at scriptcase/devel/lib/third/CodeMirror/codemirror.css
but do not change it without make a FULL AND COMPLETE backup of your scriptcase directory. Because you can so easily screw things up seriously.
And since it is a css you need to complete refresh your css files. So that would be CTRL+F5 and/or cleaing your complete browser cache in your browser.