explorer: fix URL state round-trip (closes #201 parts A+B)#203

rdhyee merged 1 commit into

isamplesorg:mainisamplesorg/isamplesorg.github.io:mainfrom

rdhyee:fix/201-url-state-roundtriprdhyee/isamplesorg.github.io:fix/201-url-state-roundtripCopy head branch name to clipboard