This is a very WIPy bit of code, but I wanted to throw it up early.
This new WorkspaceManager aims to be a strong foundation to attain more fully featured workspace support. Instead of handling its own layout, instead, a DockPanel needs to be passed into the WorkspaceManager. This way, WorkspaceManager can be integrated into already-existing DockPanels.
This PR does not contain working global filters support, that is future work.
Lots TODO before mergable:
[ ] export/copy submenu still broken
[ ] CSS?
[x] convert the menu renderer to TS
[ ] Tests will not run due to Lumino dependency issues
[ ] More tests always good.
[x] Mana-styles in Magic example are broken
[ ] Different Distributions for the package (currently only ESM)
This is a very WIPy bit of code, but I wanted to throw it up early.
This new WorkspaceManager aims to be a strong foundation to attain more fully featured workspace support. Instead of handling its own layout, instead, a DockPanel needs to be passed into the
WorkspaceManager. This way, WorkspaceManager can be integrated into already-existing DockPanels.This PR does not contain working global filters support, that is future work.
Lots TODO before mergable: