Skip to content
GitLab
Explore
Sign in
JuPedSim
JPSeditor
Issues
#50
Width of lines changes after Highlighting
After Highlighting walls the width of the lines changes.