I just updated Sprotty to the newest version 1.4.0 (from 1.0.0) and noticed that the edge label position changed. I use ELK layered to layout everything.
Version 1.0.0:
Version 1.4.0
I just tried to reproduce this in the examples and the effect can be seen there too, as it looks like the edge label does not respect the x,y coordinates from ELK.
Plain ELK
Sprotty Example
#di.config.ts
configureModelElement(container, 'label:edge', SLabelImpl, SLabelView);
#standalone.ts
const NODES = 2;
const EDGES = 1;
....
const edge: SEdge = {
type: 'edge',
id: `edge${i}`,
sourceId: `port${sourceNo}-${i}`,
targetId: `port${targetNo}-${i}`,
children: [
<SLabel>{
type: 'label:edge',
id: `port${sourceNo}-${i}-->${targetNo}-${i}-label`,
text: `port${sourceNo}-${i}-->${targetNo}-${i}`
}
]
};
With two edges:

I just updated Sprotty to the newest version 1.4.0 (from 1.0.0) and noticed that the edge label position changed. I use ELK layered to layout everything.
Version 1.0.0:
Version 1.4.0
I just tried to reproduce this in the examples and the effect can be seen there too, as it looks like the edge label does not respect the x,y coordinates from ELK.
Plain ELK
Sprotty Example
With two edges: