Zulip Chat Archive

Stream: Lean Together 2021

Topic: Widgets (Ed's talk)

Gihan Marasingha (Jan 04 2021 at 15:38):

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

Patrick Massot (Jan 04 2021 at 15:39):

Yes they are

Rob Lewis (Jan 04 2021 at 15:41):

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

Johan Commelin (Jan 04 2021 at 15:41):

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

Last updated: Dec 20 2023 at 11:08 UTC