From 86ff5b104f4885121dbdbdff53c7bcc740eadc21 Mon Sep 17 00:00:00 2001
From: Oliver Hamlet <oliver.hamlet@gmail.com>
Date: Tue, 23 Dec 2014 14:50:04 +0000
Subject: [PATCH] Disable game menu during sorting.

Changing game mid-sort breaks various things, so disallow it. Fixes
#361.
---
 resources/report/js/script.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/resources/report/js/script.js b/resources/report/js/script.js
index 34c77743..26c3d615 100644
--- a/resources/report/js/script.js
+++ b/resources/report/js/script.js
@@ -586,6 +586,9 @@ function sortPlugins(evt) {
                 hideElement(document.getElementById('sortButton'));
                 showElement(document.getElementById('applySortButton'));
                 showElement(document.getElementById('cancelSortButton'));
+
+                /* Disable changing game. */
+                document.getElementById('gameMenu').setAttribute('disabled', '');
                 closeProgressDialog();
             }
         }).catch(processCefError);
@@ -613,6 +616,9 @@ function applySort(evt) {
         showElement(document.getElementById('sortButton'));
         hideElement(document.getElementById('applySortButton'));
         hideElement(document.getElementById('cancelSortButton'));
+
+        /* Enable changing game. */
+        document.getElementById('gameMenu').removeAttribute('disabled');
     }).catch(processCefError);
 }
 function cancelSort(evt) {
@@ -629,6 +635,9 @@ function cancelSort(evt) {
         showElement(document.getElementById('sortButton'));
         hideElement(document.getElementById('applySortButton'));
         hideElement(document.getElementById('cancelSortButton'));
+
+        /* Enable changing game. */
+        document.getElementById('gameMenu').removeAttribute('disabled');
     }).catch(processCefError);
 }
 function redatePlugins(evt) {