Open chaoran-chen opened 3 months ago
And instead of just using a
CustomEvent
, it would be great to have a more specific event:
Should we create a new child class of CustomEvent
then?
Or just specify it as CustomEvent<...>
?
We already do that where it's relevant:
It would be great if we could export the types of input and event values. For example, this would be very useful here:
https://github.com/GenSpectrum/dashboards/blob/432a7edf883cbdae19ee67fc5aebd9558d9b98e6/examples/React/src/App.tsx#L6-L13
With the types, we can write e.g.
useState<LapisLocation>()
And instead of just using a
CustomEvent
, it would be great to have a more specific event:https://github.com/GenSpectrum/dashboards/blob/432a7edf883cbdae19ee67fc5aebd9558d9b98e6/examples/React/src/App.tsx#L16