Change: delete priority

_locales/en/messages.json

@@ -1664,9 +1664,6 @@
   "styleExcludeNewLabel": {
     "message": "Add new exclusion"
   },
-  "stylePriorityLabel": {
-    "message": "Priority"
-  },
   "syncDropboxDeprecated": {
     "message": "Dropbox import/export is replaced by a more advanced style sync in the options page."
   },

edit.html

@@ -479,10 +479,6 @@
             <div class="rule-table"></div>
             <button i18n-text="styleExcludeNewLabel" class="add-rule"></button>
           </div>
-          <div class="form-group style-priority">
-            <div class="form-label" i18n-text="stylePriorityLabel"></div>
-            <input type="number">
-          </div>
           <!-- <label class="style-always-important">
             <input type="checkbox">
             <span class="form-label" i18n-text="styleAlwaysImportantLabel"></span>

edit/settings.js

@@ -10,8 +10,6 @@ function StyleSettings(editor) {
       e => API.styles.config(style.id, 'updateUrl', e.target.value)),
     createRadio('.style-prefer-scheme input', () => style.preferScheme || 'none',
       e => API.styles.config(style.id, 'preferScheme', e.target.value)),
-    createInput('.style-priority input', () => style.priority || 0,
-      e => API.styles.config(style.id, 'priority', e.target.valueAsNumber)),
     createRuleTable(document.querySelector('.style-include'), 'inclusions'),
     createRuleTable(document.querySelector('.style-exclude'), 'exclusions'),
   ];