Closed
Description
Currently this python.callback((_, _)
always gives a type error, becuase it seems the jscallback default to void
which is not a PythonConvertible.
Line 61 in 025e9da
Currently the workaround is to always annotate the type, mostly like this python.callback((_, button: Gtk_.ToggleButton): undefined
If void can be add as a PythonConvertible this would remove this unnecessary typing.