Is drag and drop supported in lean widgets?

Stream: new members

[Will Jump]

Not sure which channel this should go in so putting it here. Thanks for all the help!

If you had an image depicted on a lean widget (a white box and a black box) could you trigger a tactic by dragging the white box onto the black one? I'm interested to know whether string diagrams could be manipulated with drag and drop to make category theoretic proofs through a widget, rather than using text.

[Aaron Liu]

@𝚠𝚘𝚓𝚌𝚒𝚎𝚌𝚑 𝚗𝚊𝚠𝚛𝚘𝚌𝚔𝚒

[𝚠𝚘𝚓𝚌𝚒𝚎𝚌𝚑 𝚗𝚊𝚠𝚛𝚘𝚌𝚔𝚒]

Yeah definitely! In fact, @Sam Ezeh has done this in Untangle. That widget uses a sequence of clicks, but you could well handle drag events instead.

[Will Jump]

Oh thats really useful! Cheers!!