Touch: give tap-to-reveal pause a control

The setting has existed since the pause button moved to the top right, and is seeded
once from the old show/hide pref so anyone who had the button hidden keeps it hidden.
Nothing ever wrote it afterwards. A user whose button was visible had no way to hide
it and a user migrated into hidden had no way back, which is how it was reported:
the option is not in the in-game menu.

Sits with multi-touch, gliding and floating stick in the editor toolbar, since those
are the other whole-overlay behaviour toggles and setPauseTapToReveal already
existed to be called.

android/armsx3-ui/app/src/main/java/com/armsx2/i18n/I18n.kt

@@ -384,6 +384,8 @@ val EN: Map<String, String> = mapOf(
     "action.back" to "Back",
     "action.cancel" to "Cancel",
     "action.remove" to "Remove",
+    "touch.editor.pauseRevealOn" to "Pause: tap to reveal",
+    "touch.editor.pauseRevealOff" to "Pause: always visible",
     "packages.licence.remove" to "Remove",
     "packages.licence.remove.title" to "Remove this licence?",
     "packages.licence.remove.body" to "%s will be deleted. Content it unlocks will stop working until the licence is installed again.",

android/armsx3-ui/app/src/main/java/com/armsx2/ui/touch/TouchControlsOverlay.kt

@@ -1997,6 +1997,13 @@ private fun EditToolbar(modifier: Modifier = Modifier) {
             ToolbarChip(if (TouchControls.faceMultiTouch.value) str("touch.editor.multiTouchOn") else str("touch.editor.multiTouchOff")) {
                 TouchControls.setFaceMultiTouch(!TouchControls.faceMultiTouch.value)
             }
+            // Tap-to-reveal pause. The setting has existed since the pause button moved to the
+            // top-right, seeded from the old show/hide pref, but nothing ever wrote it: anyone
+            // whose button was visible had no way to hide it, and anyone migrated into hidden had
+            // no way back. Reported as the option being missing from the in-game menu.
+            ToolbarChip(if (TouchControls.pauseTapToReveal.value) str("touch.editor.pauseRevealOn") else str("touch.editor.pauseRevealOff")) {
+                TouchControls.setPauseTapToReveal(!TouchControls.pauseTapToReveal.value)
+            }
             // Touch Gliding: drag a finger to hold every button it crosses (NetherSX2-style).
             ToolbarChip(if (TouchControls.touchGliding.value) str("touch.editor.glidingOn") else str("touch.editor.glidingOff")) {
                 TouchControls.setTouchGliding(!TouchControls.touchGliding.value)