ProB2-UI: Sequence Chart Visualisation for HTML Export does not work with included ProB #376
Labels
bug
Something isn't working
enhancement
New feature or request
ProB2UI
Issue related to JavaFX ProB2UI
This is because the plantuml.jar is not available in the lib folder per default. However, the user should not be prompted in ProB2-UI to carry out the manual installation. Maybe we should summarise all PlantUML calls in one place (currently there are 3 (or more ?); Tcl/Tk, ProB2-UI for Graph Visualisation, probcli).
In addition, the warnings/errors that occur during the HTML export are not displayed in ProB2-UI.
The text was updated successfully, but these errors were encountered: