Miro Spönemann
Miro Spönemann
We used solution 2 in our own extension, too: https://github.com/eclipse-langium/langium/blob/3b007c2be9a6ec0c93f4dac62eea33854909db60/packages/langium-vscode/package.json#L84-L86
Superseded by #1810.
This is the default CSS - can you check whether that's loaded? https://github.com/eclipse-sprotty/sprotty/blob/aa21cc00da254f9c1bc6820400c4a503dc27890e/packages/sprotty/css/sprotty.css#L26-L31 If yes, could the parent layout cause the width and height settings to be ignored? You can...
It's not necessary to use that interface for integrating additional UI with the diagram. You can just use any UI framework like React and position the element where you want...