Translate the new Selection labels, and pin what SELECTIONPREVIEW's bits do

The ten strings the Options card gained were English in nineteen of the
twenty-one locales. They are now translated in all of them, using the words
each locale already uses for the surrounding labels — de-DE "Griffe",
fr-FR "Poignées", zh-CN "夹点", zh-TW "掣點" and so on for grips, and the
same for selection, preview and object. System-variable names stay in Latin
uppercase, as they already do in every locale's SETVAR listing.

Composing them from existing keys, the way el-GR composes the neighbouring
labels, only worked for one of the ten: there is no existing key for "limit",
"unlimited", "shift", "rectangle" or "lasso", and "Grips: Objects" as the
label of a numeric limit would read worse than English.

The rollover preview was reported as possibly not working. It works, and now
says so: `the_idle_rollover_follows_bit_one` drives a settled hover over a
line and checks what the scene highlighted, for all four values of the
bitmask. Bit 1 alone highlights, bit 2 alone does not, both do, neither does
not. That is the assertion the inverted config comment would have made
someone doubt — the pick simply needs the cursor still for the 500 ms of
`HOVER_DWELL_MS` before it runs.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

locales/es-ES/opencadstudio.ftl

@@ -1376,16 +1376,16 @@ common =
     .pick-box-size = { common.pickbox }: { common.size }
     .controls-both-the-visible-selection-box-and-the-click-aperture = Controla tanto el cuadro de selección visible como el área de clic.
     .visual-effect-settings = { common.visual-effects } · { properties.settings }
-    .selection-modes = Selection Modes
-    .use-shift-to-add-to-selection-pickadd = Use Shift to add to selection (PICKADD)
-    .press-and-drag-draws-a-rectangle-instead-of-a-lasso-pickdrag = Press and drag draws a rectangle instead of a lasso (PICKDRAG)
-    .show-selection-effect-selectioneffect = Show selection effect (SELECTIONEFFECT)
-    .preview-selection-when-no-command-is-active = Preview selection when no command is active
-    .preview-selection-during-a-command = Preview selection during a command
-    .highlights-the-object-under-the-cursor-before-it-is-picked-selectionpreview = Highlights the object under the cursor before it is picked (SELECTIONPREVIEW).
-    .object-limit-for-grips = Object limit for grips
-    .unlimited = Unlimited
-    .past-this-many-selected-objects-no-grips-are-drawn-0-removes-the-limit-gripobjlimit = Past this many selected objects no grips are drawn; 0 removes the limit (GRIPOBJLIMIT).
+    .selection-modes = Modos de selección
+    .use-shift-to-add-to-selection-pickadd = Usar Mayús para añadir a la selección (PICKADD)
+    .press-and-drag-draws-a-rectangle-instead-of-a-lasso-pickdrag = Arrastrar dibuja un rectángulo en lugar de un lazo (PICKDRAG)
+    .show-selection-effect-selectioneffect = Mostrar efecto de selección (SELECTIONEFFECT)
+    .preview-selection-when-no-command-is-active = Previsualizar la selección cuando no hay ningún comando activo
+    .preview-selection-during-a-command = Previsualizar la selección durante un comando
+    .highlights-the-object-under-the-cursor-before-it-is-picked-selectionpreview = Resalta el objeto bajo el cursor antes de seleccionarlo (SELECTIONPREVIEW).
+    .object-limit-for-grips = Límite de objetos para pinzamientos
+    .unlimited = Sin límite
+    .past-this-many-selected-objects-no-grips-are-drawn-0-removes-the-limit-gripobjlimit = A partir de este número de objetos seleccionados no se dibujan pinzamientos; 0 elimina el límite (GRIPOBJLIMIT).
     .indicate-selection-area-with-transparent-fill-selectionarea = Indicar el área de selección con relleno transparente (SELECTIONAREA)
     .selection-area-opacity = { common.selection }: { properties.opacity }
     .transparency-of-the-window-and-crossing-selection-areas-selectionareaopacity = Transparencia de las áreas de selección por ventana y captura (SELECTIONAREAOPACITY).