Skip to content

Update CommandEventHandler type to use EventHandler#4740

Merged
rschristian merged 1 commit intopreactjs:mainfrom
robertknight:command-event-handler-type
Mar 31, 2025
Merged

Update CommandEventHandler type to use EventHandler#4740
rschristian merged 1 commit intopreactjs:mainfrom
robertknight:command-event-handler-type

Conversation

@robertknight
Copy link
Copy Markdown
Member

Update the CommandEventHandler type declaration to match other *EventHandler types by using the EventHandler utility. This fixes a downstream typing error reported in
hypothesis/frontend-shared#1899 (comment).

Some unrelated formatting changes were applied when the commit was made. Is this expected?

Update the `CommandEventHandler` type declaration to match other `*EventHandler`
types by using the `EventHandler` utility. This fixes a downstream typing error
reported in
hypothesis/frontend-shared#1899 (comment).
@github-actions
Copy link
Copy Markdown

📊 Tachometer Benchmark Results

Summary

A summary of the benchmark results will show here once they finish.

Results

The full results of your benchmarks will show here once they finish.

tachometer-reporter-action v2 for CI

@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 99.61%. remained the same
when pulling 9690c40 on robertknight:command-event-handler-type
into 80ca668 on preactjs:main.

Copy link
Copy Markdown
Member

@rschristian rschristian left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good spot, I suppose #4692 mis-copied the existing types.

Looks like that PR (and a couple others perhaps) skipped the formatter on commit, maybe done by the web interface. Would have to get that correct at some point or another, may as well be now.

Thanks!

@rschristian rschristian merged commit 0d4f33a into preactjs:main Mar 31, 2025
5 checks passed
@robertknight robertknight deleted the command-event-handler-type branch March 31, 2025 08:32
@JoviDeCroock JoviDeCroock mentioned this pull request Apr 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants