sathya-1994

org.eclipse.elk.core.options.CoreOptions.PORT_LABELS_PLACEMENT not working

5

ELK: 0.7.1 Sprotty: 0.11.0-next.ef11ae9 at client side I have added below properties to ELK ports but sprotty is not recognizing them(properties added to port). elkPort.setProperty(CoreOptions.PORT_LABELS_PLACEMENT, PortLabelPlacement.fixed()); elkPort.setProperty(CoreOptions.PORT_LABELS_PLACEMENT, PortLabelPlacement.outside()); My requirement...

"ActionDispatcher: Missing handler for action" error message at client side

4

My requirement: Send a new custom action called customElementSelected from sprotty client to server when we select any diagram element export const **customSelectorModule** = new ContainerModule((bind, _unbind, isBound) => {...