Tweak autodetect button labels

A plain "Autodetect" makes more sense than talking about "detected values".
LS-Lab · Jun 25, 2024 · b402255 · b402255
1 parent 99edd1d
commit b402255
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git 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
@@ -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>