sprotty
sprotty copied to clipboard
Reimplement `Popup API` as `UIExtension`?
When introducing the UIExtension API (#63) the question was raised wether we should refactor the Popup stuff to an UI-extension based approach (https://github.com/eclipse/sprotty/pull/63#pullrequestreview-205640214). If we still want to do that we should probably also do it before the 1.0 release.
Requires an analysis of feasibility and consequences of a refactoring.