mirror of https://github.com/gorhill/uBlock.git
#3646: find out if this makes a difference
This commit is contained in:
parent
4e3838002c
commit
376c95bcc9
|
@ -36,6 +36,7 @@ var cmEditor = new CodeMirror(
|
||||||
document.getElementById('userFilters'),
|
document.getElementById('userFilters'),
|
||||||
{
|
{
|
||||||
autofocus: true,
|
autofocus: true,
|
||||||
|
inputStyle: 'textarea',
|
||||||
lineNumbers: true,
|
lineNumbers: true,
|
||||||
lineWrapping: true,
|
lineWrapping: true,
|
||||||
styleActiveLine: true
|
styleActiveLine: true
|
||||||
|
|
|
@ -72,6 +72,7 @@ var cmEditor = new CodeMirror(
|
||||||
document.getElementById('whitelist'),
|
document.getElementById('whitelist'),
|
||||||
{
|
{
|
||||||
autofocus: true,
|
autofocus: true,
|
||||||
|
inputStyle: 'textarea',
|
||||||
lineNumbers: true,
|
lineNumbers: true,
|
||||||
lineWrapping: true,
|
lineWrapping: true,
|
||||||
styleActiveLine: true
|
styleActiveLine: true
|
||||||
|
|
Loading…
Reference in New Issue