Skip to content
GitLab
Explore
Sign in
JuPedSim
JPSeditor
Issues
#131
Show/ hide options tab
Have a look at the video to get the idea :-)
hide_show