From 9e06b941c6b84c08bec827e35aa727282db986b1 Mon Sep 17 00:00:00 2001
From: Libor Polčák <ipolcak@fit.vutbr.cz>
Date: Feb 21 2022 13:37:29 +0000
Subject: options.html: Do not show level IDs


---

diff --git a/common/options.js b/common/options.js
index e67c021..9f6994d 100644
--- a/common/options.js
+++ b/common/options.js
@@ -145,7 +145,7 @@ function show_existing_level(levelsEl, level) {
 	let currentId = `level-${level}`;
 	var fragment = document.createRange().createContextualFragment(`<li id="li-${escape(level)}">
 		<button class="level" id="${escape(currentId)}" title="${escape(levels[level].level_description)}">
-			${escape(level)}: ${escape(levels[level].level_text)}
+			${escape(levels[level].level_text)}
 		</button>
 		<label for="${escape(currentId)}">${escape(levels[level].level_description)}</label>
 		</li>`);