@@ -10270,24 +10270,64 @@ specified sequence of user input actions.
1027010270 input.KeyUpAction
1027110271 )
1027210272
10273- input.PointerSourceActions = {
10274- type: "pointer",
10275- id: text,
10276- ? parameters: input.PointerParameters,
10277- actions: [*input.PointerSourceAction]
10273+ input.PointerSourceActions = (
10274+ input.MouseSourceActions /
10275+ input.TouchSourceActions /
10276+ input.PenSourceActions
10277+ )
10278+
10279+ input.MouseSourceActions = {
10280+ type: "pointer",
10281+ id: text,
10282+ ? parameters: input.MouseSourceParameters,
10283+ actions: [*input.MouseSourceAction]
10284+ }
10285+
10286+ input.MouseSourceParameters = {
10287+ ? pointerType: "mouse"
1027810288 }
1027910289
10280- input.PointerType = "mouse" / "pen" / "touch"
10290+ input.MouseSourceAction = (
10291+ input.PauseAction /
10292+ input.MouseDownAction /
10293+ input.MouseUpAction /
10294+ input.MouseMoveAction
10295+ )
10296+
10297+ input.TouchSourceActions = {
10298+ type: "pointer",
10299+ id: text,
10300+ parameters: input.TouchSourceParameters,
10301+ actions: [*input.TouchSourceAction]
10302+ }
1028110303
10282- input.PointerParameters = {
10283- ? pointerType: input.PointerType .default "mouse "
10304+ input.TouchSourceParameters = {
10305+ pointerType: "touch "
1028410306 }
1028510307
10286- input.PointerSourceAction = (
10308+ input.TouchSourceAction = (
1028710309 input.PauseAction /
10288- input.PointerDownAction /
10289- input.PointerUpAction /
10290- input.PointerMoveAction
10310+ input.TouchDownAction /
10311+ input.TouchUpAction /
10312+ input.TouchMoveAction
10313+ )
10314+
10315+ input.PenSourceActions = {
10316+ type: "pointer",
10317+ id: text,
10318+ parameters: input.PenSourceParameters,
10319+ actions: [*input.PenSourceAction]
10320+ }
10321+
10322+ input.PenSourceParameters = {
10323+ pointerType: "pen"
10324+ }
10325+
10326+ input.PenSourceAction = (
10327+ input.PauseAction /
10328+ input.PenDownAction /
10329+ input.PenUpAction /
10330+ input.PenMoveAction
1029110331 )
1029210332
1029310333 input.WheelSourceActions = {
@@ -10316,48 +10356,88 @@ specified sequence of user input actions.
1031610356 value: text
1031710357 }
1031810358
10319- input.PointerUpAction = {
10359+ input.MouseDownAction = {
10360+ type: "pointerDown",
10361+ button: js-uint
10362+ }
10363+
10364+ input.MouseUpAction = {
1032010365 type: "pointerUp",
10321- button: js-uint,
10366+ button: js-uint
10367+ }
10368+
10369+ input.MouseMoveAction = {
10370+ type: "pointerMove",
10371+ input.PointerMoveProperties
1032210372 }
1032310373
10324- input.PointerDownAction = {
10374+ input.TouchDownAction = {
1032510375 type: "pointerDown",
10376+ input.TouchProperties
10377+ }
10378+
10379+ input.TouchUpAction = {
10380+ type: "pointerUp",
10381+ input.TouchProperties
10382+ }
10383+
10384+ input.TouchMoveAction = {
10385+ type: "pointerMove",
10386+ input.PointerMoveProperties,
10387+ input.TouchProperties
10388+ }
10389+
10390+ input.TouchProperties = (
10391+ ? width: js-uint .default 1,
10392+ ? height: js-uint .default 1,
10393+ ? pressure: float .default 0.5
10394+ )
10395+
10396+ input.PenDownAction = {
10397+ type: "pointerDown",
10398+ button: js-uint,
10399+ input.PenProperties
10400+ }
10401+
10402+ input.PenUpAction = {
10403+ type: "pointerUp",
1032610404 button: js-uint,
10327- input.PointerCommonProperties
10405+ input.PenProperties
1032810406 }
1032910407
10330- input.PointerMoveAction = {
10408+ input.PenMoveAction = {
1033110409 type: "pointerMove",
10410+ input.PointerMoveProperties,
10411+ input.PenProperties
10412+ }
10413+
10414+ input.PenProperties = (
10415+ ? tangentialPressure: float .default 0.0,
10416+ ? twist: (0..359) .default 0,
10417+ ; 0 .. Math.PI / 2
10418+ ? altitudeAngle: (0.0..1.5707963267948966) .default 1.5707963267948966,
10419+ ; 0 .. 2 * Math.PI
10420+ ? azimuthAngle: (0.0..6.283185307179586) .default 0.0,
10421+ input.TouchProperties,
10422+ )
10423+
10424+ input.PointerMoveProperties = (
1033210425 x: js-int,
1033310426 y: js-int,
1033410427 ? duration: js-uint,
10335- ? origin: input.Origin,
10336- input.PointerCommonProperties
10337- }
10428+ ? origin: input.Origin .default "viewport",
10429+ )
1033810430
1033910431 input.WheelScrollAction = {
1034010432 type: "scroll",
10341- x: js-int,
10342- y: js-int,
1034310433 deltaX: js-int,
1034410434 deltaY: js-int,
10435+ x: js-int,
10436+ y: js-int,
1034510437 ? duration: js-uint,
1034610438 ? origin: input.Origin .default "viewport",
1034710439 }
1034810440
10349- input.PointerCommonProperties = (
10350- ? width: js-uint .default 1,
10351- ? height: js-uint .default 1,
10352- ? pressure: float .default 0.0,
10353- ? tangentialPressure: float .default 0.0,
10354- ? twist: (0..359) .default 0,
10355- ; 0 .. Math.PI / 2
10356- ? altitudeAngle: (0.0..1.5707963267948966) .default 0.0,
10357- ; 0 .. 2 * Math.PI
10358- ? azimuthAngle: (0.0..6.283185307179586) .default 0.0,
10359- )
10360-
1036110441 input.Origin = "viewport" / "pointer" / input.ElementOrigin
1036210442 </pre>
1036310443 </dd>
0 commit comments