From b402255562371b6ed8ea32599820aaf30122a355 Mon Sep 17 00:00:00 2001
From: Joscha Mennicken <keymaerax@plugh.de>
Date: Tue, 25 Jun 2024 15:53:55 +0200
Subject: [PATCH] Tweak autodetect button labels

A plain "Autodetect" makes more sense than talking about "detected
values".
---
 .../src/main/resources/partials/mathematica_config.html     | 6 +++---
 .../src/main/resources/partials/wolframengine_config.html   | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/keymaerax-webui/src/main/resources/partials/mathematica_config.html b/keymaerax-webui/src/main/resources/partials/mathematica_config.html
index cd34dc27a4..5f0b70a005 100644
--- a/keymaerax-webui/src/main/resources/partials/mathematica_config.html
+++ b/keymaerax-webui/src/main/resources/partials/mathematica_config.html
@@ -8,7 +8,7 @@ <h2>
                 <span ng-if="linkName !== origLinkName || jlinkLibPath !== origJlinkLibPath || jlinkTcpip.machine !== origJlinkTcpip.machine || jlinkTcpip.port !== origJlinkTcpip.port">*</span>
                 <span>Save</span>
             </button>
-            <button ng-click="defaultMathematicaPaths()" class="btn btn-default">Reset to detected values</button>
+            <button ng-click="defaultMathematicaPaths()" class="btn btn-default">Autodetect</button>
             <button ng-click="resetMathematicaPaths()" class="btn btn-default">Discard changes</button>
         </span>
     </h2>
@@ -44,7 +44,7 @@ <h2>
                         data-placement="bottom"
                         aria-expanded="false" ng-click="setDefaultMathKernel()"
                         title="{{mathematicaConfigSuggestion.suggestion.kernelPath}}{{mathematicaConfigSuggestion.suggestion.kernelName}}">
-                    <span ng-if="linkName">Reset to</span><span ng-if="linkName === undefined">Use</span> detected value
+                    Autodetect
                 </button>
             </span>
         </div>
@@ -72,7 +72,7 @@ <h2>
                         data-placement="bottom"
                         aria-expanded="false" ng-click="setDefaultJLinkLibPath()"
                         title="{{mathematicaConfigSuggestion.suggestion.jlinkPath}}{{mathematicaConfigSuggestion.suggestion.jlinkName}}">
-                    <span ng-if="jlinkLibPath">Reset to</span><span ng-if="jlinkLibPath === undefined">Use</span> detected value
+                    Autodetect
                 </button>
             </span>
         </div>
diff --git a/keymaerax-webui/src/main/resources/partials/wolframengine_config.html b/keymaerax-webui/src/main/resources/partials/wolframengine_config.html
index 322d5691d9..acb245c237 100644
--- a/keymaerax-webui/src/main/resources/partials/wolframengine_config.html
+++ b/keymaerax-webui/src/main/resources/partials/wolframengine_config.html
@@ -8,7 +8,7 @@ <h2>
                     <span ng-if="linkName !== origLinkName || jlinkLibPath !== origJlinkLibPath || jlinkTcpip.machine !== origJlinkTcpip.machine || jlinkTcpip.port !== origJlinkTcpip.port">*</span>
                     <span>Save</span>
                 </button>
-                <button ng-click="defaultWolframEnginePaths()" class="btn btn-default">Reset to detected values</button>
+                <button ng-click="defaultWolframEnginePaths()" class="btn btn-default">Autodetect</button>
                 <button ng-click="resetWolframEnginePaths()" class="btn btn-default">Discard changes</button>
             </span>
     </h2>
@@ -44,7 +44,7 @@ <h2>
                         data-placement="bottom"
                         aria-expanded="false" ng-click="setDefaultMathKernel()"
                         title="{{wolframEngineConfigSuggestion.suggestion.kernelPath}}{{wolframEngineConfigSuggestion.suggestion.kernelName}}">
-                    <span ng-if="linkName">Reset to</span><span ng-if="linkName === undefined">Use</span> detected value
+                    Autodetect
                 </button>
             </span>
         </div>
@@ -72,7 +72,7 @@ <h2>
                         data-placement="bottom"
                         aria-expanded="false" ng-click="setDefaultJLinkLibPath()"
                         title="{{wolframEngineConfigSuggestion.suggestion.jlinkPath}}{{wolframEngineConfigSuggestion.suggestion.jlinkName}}">
-                    <span ng-if="jlinkLibPath">Reset to</span><span ng-if="jlinkLibPath === undefined">Use</span> detected value
+                    Autodetect
                 </button>
             </span>
         </div>