From 47a19f1f831450135354f65ec43951a25134bdc2 Mon Sep 17 00:00:00 2001
From: Alex Heller <st162467@stud.uni-stuttgart.de>
Date: Mon, 8 May 2023 00:11:09 +0200
Subject: [PATCH] Slightly changed hover information

Now it's more in line with the toplevel indicator message.
---
 javascript/ui.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/javascript/ui.js b/javascript/ui.js
index f32fe959e..46061d214 100644
--- a/javascript/ui.js
+++ b/javascript/ui.js
@@ -289,7 +289,7 @@ function markIfModified(setting_name, value) {
     let is_new_value = JSON.stringify(value) != previous_value_json
     elem.disabled = !is_new_value
     if (is_new_value) {
-        elem.title = `Changed from previous value: ${previous_value_json}`
+        elem.title = `Click to revert to previous value: ${previous_value_json}`
     }
 
     // Get parent tab element