Skip to content
GitLab
Explore
Sign in
JuPedSim
JPSeditor
Issues
#122
Snapping options aren't save
Snapping options can't be saved after closing snapping widget