Index: desktop-options.html |
=================================================================== |
--- a/desktop-options.html |
+++ b/desktop-options.html |
@@ -296,17 +296,18 @@ |
<div id="empty-custom-filters"> |
<p class="i18n_options_customFilters_tip"></p> |
<button class="i18n_options_customFilters_start primary" data-action="edit-custom-filters"> |
</button> |
<p> |
<a class="i18n_options_customFilters_learn" id="link-filters" target="_blank"></a> |
</p> |
</div> |
- <textarea id="custom-filters-raw" rows="15"></textarea> |
+ <textarea id="custom-filters-raw" rows="15" spellcheck="false" |
+ autocapitalize="off" autocomplete="off" autocorrect="off"></textarea> |
Thomas Greiner
2018/03/05 16:40:57
According to https://developer.mozilla.org/en-US/d
a.giammarchi
2018/03/05 16:54:43
but it doesn't hurt having it in, right?
|
<div class="side-controls"> |
<button id="custom-filters-edit" class="i18n_options_customFilter_edit secondary" data-action="edit-custom-filters"> |
</button> |
<div class="side-controls" id="custom-filters-raw-controls"> |
<button class="i18n_options_customFilter_cancel secondary" data-action="cancel-custom-filters"></button> |
<button class="i18n_options_customFilter_save primary" data-action="save-custom-filters"></button> |
</div> |
</div> |