From 7c2cdc44749bdc022cded63f23f471b622bf6222 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Thu, 1 Sep 2016 00:02:16 +0100
Subject: [PATCH] Disable the version selector if there's only one version
 available

---
 src/app.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/app.js b/src/app.js
index 097419d886..765546850d 100644
--- a/src/app.js
+++ b/src/app.js
@@ -506,8 +506,9 @@ var run = function () {
 
   // ----------------- version selector-------------
 
-  // clear the version selector
+  // clear and disable the version selector
   $('option', '#versionSelector').remove();
+  $('#versionSelector').attr('disabled', true);
 
   // load the new version upon change
   $('#versionSelector').change(function () {
@@ -522,6 +523,7 @@ var run = function () {
         $('#versionSelector').append(new Option(version, file));
       }
     });
+    $('#versionSelector').attr('disabled', false);
   }
 
   // always include the local version