chore: remove pointer defaults

w3c · Feb 20, 2024 · fbf070f · fbf070f
1 parent 42abefe
commit fbf070f
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/index.bs b/index.bs
@@ -10317,7 +10317,7 @@ specified sequence of user input actions.
       input.PointerDownAction = {
         type: "pointerDown",
         button: js-uint,
-        input.PointerCommonProperties
+        input.PointerCommonPropertiesWithDefaults
       }
 
       input.PointerMoveAction = {
@@ -10340,6 +10340,18 @@ specified sequence of user input actions.
       }
 
       input.PointerCommonProperties = (
+        ? width: js-uint,
+        ? height: js-uint,
+        ? pressure: float,
+        ? tangentialPressure: float,
+        ? twist: 0..359,
+        ; 0 .. Math.PI / 2
+        ? altitudeAngle: 0.0..1.5707963267948966
+        ; 0 .. 2 * Math.PI
+        ? azimuthAngle: 0.0..6.283185307179586,
+      )
+
+      input.PointerCommonPropertiesWithDefaults = (
         ? width: js-uint .default 1,
         ? height: js-uint .default 1,
         ? pressure: float .default 0.0,