Widgets (Ed's talk)

Stream: Lean Together 2021

[Gihan Marasingha]

Are widgets available now? If so, how do I use them?

[Patrick Massot]

Yes they are

[Rob Lewis]

You use them all the time in fact -- the tactic goal view is a widget

[Johan Commelin]

@Gihan Marasingha if you use VScode, then you probably have been using widgets for a couple of months (maybe without knowing it :wink:)