Sort the list by execution order when one of the execution order cont…

…ext menu it

ems is selected. Closes #1219

content/addons4-overlay.js

@@ -62,6 +62,12 @@ function addonIsInstalledScript(aAddon) {
   return true;
 };
 
+function sortedByExecOrder() {
+  return document.getElementById('greasemonkey-sort-bar')
+    .getElementsByAttribute('sortBy', 'executionIndex')[0]
+    .hasAttribute('checkState');
+};
+
 function init() {
   GM_getConfig().addObserver(observer);
 
@@ -168,7 +174,17 @@ function onViewChanged(aEvent) {
   }
 };
 
+function selectScriptExecOrder() {
+  if (sortedByExecOrder()) return;
+
+  var button = document.getElementById('greasemonkey-sort-bar')
+    .getElementsByAttribute('sortBy', 'executionIndex')[0];
+  // Sort the script list by execution order
+  onSortersClicked({'target': button});
+};
+
 function reorderScriptExecution(aAddon, moveBy) {
+  selectScriptExecOrder();
   GM_getConfig().move(aAddon._script, moveBy);
   AddonManager.getAddonsByTypes(['user-script'], function(aAddons) {
       // Fix all the 'executionOrder' attributes.