Just noticed this while debugging on the server that the request markers action always has the element ID 'sprotty' independent of the actually selected element or the name of the actual root. So if the root element has a different ID, the validation does nothing.
This should probably be fixed, at least to the correct root element ID, cf. tool-palette.ts in the sprotty-client package.
Just noticed this while debugging on the server that the request markers action always has the element ID 'sprotty' independent of the actually selected element or the name of the actual root. So if the root element has a different ID, the validation does nothing.
This should probably be fixed, at least to the correct root element ID, cf. tool-palette.ts in the sprotty-client package.