Add translatable options for Swimming Pool field; add preset for Hot …

…Tub (#1008)

data/deprecated.json

@@ -990,6 +990,10 @@
     "old": {"leisure": "recreation_ground"},
     "replace": {"landuse": "recreation_ground"}
   },
+  {
+    "old": {"leisure": "swimming_pool", "swimming_pool": "hot_tub"},
+    "replace": {"leisure": "hot_tub"}
+  },
   {
     "old": {"leisure": "table_tennis_table"},
     "replace": {"leisure": "pitch", "sport": "table_tennis"}

data/fields/swimming_pool.json

@@ -1,5 +1,19 @@
 {
     "key": "swimming_pool",
     "type": "combo",
-    "label": "Type"
+    "label": "Type",
+    "strings": {
+        "options": {
+            "swimming": "Lap Pool",
+            "plunge": "Diving",
+            "wading": "Wading / Leisure",
+            "spa": "Spa",
+            "wave_pool": "Wave Pool",
+            "lazy_river": "Lazy River",
+            "personal": "Personal / Backyard",
+            "kids": "Kids Pool"
+        }
+    },
+    "autoSuggestions": false,
+    "customValues": true
 }

data/presets/leisure/hot_tub.json

@@ -0,0 +1,27 @@
+{
+    "icon": "fas-hot-tub-person",
+    "fields": [
+        "access_simple",
+        "location_pool"
+    ],
+    "moreFields": [
+        "level",
+        "gender",
+        "lit",
+        "nudism",
+        "opening_hours",
+        "operator"
+    ],
+    "geometry": [
+        "area",
+        "point"
+    ],
+    "terms": [
+        "jacuzzi",
+        "spa"
+    ],
+    "tags": {
+        "leisure": "hot_tub"
+    },
+    "name": "Hot Tub"
+}