diff --git a/dist/version b/dist/version
index 621af64a1..a24fabd1f 100644
--- a/dist/version
+++ b/dist/version
@@ -1 +1 @@
-1.15.19.3
+1.15.19.4
diff --git a/src/js/1p-filters.js b/src/js/1p-filters.js
index 884404d85..1e2345cec 100644
--- 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
diff --git a/src/js/whitelist.js b/src/js/whitelist.js
index 55fbac1d0..18ea4a933 100644
--- 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