revert attempted fix for #3646

2018-03-27 15:03:24 -04:00 · 2018-03-27 15:03:24 -04:00 · 827732a991
parent aa20a86b94
commit 827732a991
3 changed files with 1 additions and 3 deletions
--- a/dist/version
+++ b/dist/version
@ -1 +1 @@
-1.15.19.3
+1.15.19.4
--- a/src/js/1p-filters.js
+++ b/src/js/1p-filters.js
@ -36,7 +36,6 @@ var cmEditor = new CodeMirror(
    document.getElementById('userFilters'),
    {
        autofocus: true,
-        inputStyle: 'textarea',
        lineNumbers: true,
        lineWrapping: true,
        styleActiveLine: true
--- a/src/js/whitelist.js
+++ b/src/js/whitelist.js
@ -72,7 +72,6 @@ var cmEditor = new CodeMirror(
    document.getElementById('whitelist'),
    {
        autofocus: true,
-        inputStyle: 'textarea',
        lineNumbers: true,
        lineWrapping: true,
        styleActiveLine: true