Re: [w3c/uievents] Specify the textInput event (PR #362) from Gary Kacmarcik on 2023-12-04 (public-webapps-github@w3.org from December 2023)

From: Gary Kacmarcik <notifications@github.com>
Date: Mon, 04 Dec 2023 14:39:43 -0800
To: w3c/uievents <uievents@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/uievents/pull/362/push/16123320468@github.com>

@garykac pushed 2 commits.

78a46aa008f463613c8a55d525efe28a9ea46947  Specify the textInput event
2919c0c9166ffc64a8278e96ea9109dd6fcbc11b  void -> undefined in IDL

-- 
View it on GitHub:
https://github.com/w3c/uievents/pull/362/files/80df9c6e4ce9ebc47dd3790244c30ab3c041b089..2919c0c9166ffc64a8278e96ea9109dd6fcbc11b
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/uievents/pull/362/push/16123320468@github.com>

Received on Monday, 4 December 2023 22:39:49 UTC