diff --git a/src/gui/options.js b/src/gui/options.js
index ac475a380e26045314bff1ba4f63e115772cf998..f0cce8549433509782599ac21c597d60692a05bf 100644
--- a/src/gui/options.js
+++ b/src/gui/options.js
@@ -234,6 +234,10 @@ App.UI.OptionsGroup = (function() {
 								}
 							} else if (!anySelected && inRange(value.mode, value.compareValue, currentValue)) {
 								button.classList.add("selected");
+								// disable the button if clicking it won't change the variable value
+								if (currentValue === value.value) {
+									button.classList.add("disabled");
+								}
 								anySelected = true;
 								if (value.descAppend !== undefined) {
 									desc.append(" ");