From 376c95bcc98ea2516428435e763856807b1ac781 Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Tue, 27 Mar 2018 14:11:06 -0400 Subject: [PATCH] #3646: find out if this makes a difference --- src/js/1p-filters.js | 1 + src/js/whitelist.js | 1 + 2 files changed, 2 insertions(+) diff --git a/src/js/1p-filters.js b/src/js/1p-filters.js index 1e2345cec..884404d85 100644 --- a/src/js/1p-filters.js +++ b/src/js/1p-filters.js @@ -36,6 +36,7 @@ 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 18ea4a933..55fbac1d0 100644 --- a/src/js/whitelist.js +++ b/src/js/whitelist.js @@ -72,6 +72,7 @@ var cmEditor = new CodeMirror( document.getElementById('whitelist'), { autofocus: true, + inputStyle: 'textarea', lineNumbers: true, lineWrapping: true, styleActiveLine: true