From 0a7b35ef8a2ea5d9e3aaffa42461f8679a311b87 Mon Sep 17 00:00:00 2001
From: Koen Lageveen <koen.lageveen@me.com>
Date: Sat, 29 Jul 2017 11:41:12 +0200
Subject: [PATCH] robust theme selector

---
 index.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/index.js b/index.js
index fb55d02..e1722fb 100644
--- a/index.js
+++ b/index.js
@@ -16,7 +16,11 @@ function applyColors() {
 // CodeMirror theme selector
 var input = document.getElementById("select-theme");
 function selectTheme() {
-	var theme = input.options[input.selectedIndex].innerHTML;
+	if (input.selectedIndex > -1) {
+		var theme = input.options[input.selectedIndex].innerHTML;
+	} else {
+		var theme = "monokai";
+	}
 	editor.setOption("theme", theme);
 	document.cookie = "theme=" + theme + ";max-age=172800";
 	applyColors();