Miro Spönemann

Results 314 comments of 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

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...