Widget creator #36
Labels
enhancement
New feature or request
experimental
Changes for an unstable/experimental api
priority high
question
Further information is requested
Milestone
We need a method to easily obtain a specific UserData for a widget rather than going (
get_widgets
) on the bar, then the child, and so on.It would have to return a
Some<BoxUserData>
, which we would have to query:is_ready()
on.Alternatively, we can implement a utility function on BarUserData. Store all ids somewhere.
The text was updated successfully, but these errors were encountered: