Solution for now: listening to an custom browser event in the respective app (here it is the JSXample page) which will be fired by an cli command (sprotty export http://localhost:8080/jsxample/jsxample.html) .
Very pragmatic. Maybe there is a more general/elegant way that is to be discussed.
Hence the Draft PR.
This is a first try regarding https://github.com/eclipse-sprotty/sprotty/issues/421.
Solution for now: listening to an custom browser event in the respective app (here it is the JSXample page) which will be fired by an cli command (
sprotty export http://localhost:8080/jsxample/jsxample.html
) . Very pragmatic. Maybe there is a more general/elegant way that is to be discussed. Hence the Draft PR.