Skip to content
GitLab
Explore
Sign in
JuPedSim
JPSeditor
Issues
#25
Undo
Would be nice to have an undo functionality.