| 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> |