If the server begins to generate a diagram it cannot be stopped.
It would be nice to make this request cancelable.
For example, if I change the file I do not need the old diagram to be generated.
Since diagram generation consists of two phases with text size estimation in between one diagram generation run should be somehow identifiable.
A new diagram request for one specific diagram widget should cancel only the previous request for this diagram widget.
If the server begins to generate a diagram it cannot be stopped. It would be nice to make this request cancelable. For example, if I change the file I do not need the old diagram to be generated.
Since diagram generation consists of two phases with text size estimation in between one diagram generation run should be somehow identifiable. A new diagram request for one specific diagram widget should cancel only the previous request for this diagram widget.