Pierre Kisters 71c78bd733 Dashboard options: windows.*, detent names, positive number types ...

- dashboard.windowMaxScale / windowDistance -> dashboard.windows.maxScale /
  distance
- windowCurvature: default -> initial, snapPixels/snapPoints ->
  detentPixels/detentPoints, dragThreshold -> dragThresholdPixels (also the
  patch's option keys; window-curvature VERSION 19); removed `snap` now
  points to detentPixels
- types.numbers.positive/nonnegative instead of number + range assertions
  (step <= max, initial/detentPoints <= max and distance min <= max stay)
- frame-controls patch accepts longPressMs from 300, like the option
  (VERSION 2)
- "SteamVR dashboard patch" in descriptions, which fit into 80 columns

Old names keep working with a rename warning.

2026-09-28 03:36:38 +02:00

..

patch.js

Dashboard options: windows.*, detent names, positive number types

2026-09-28 03:36:38 +02:00

unpatch.js

Patch headers and comments: concise

2026-09-27 23:57:50 +02:00