Cleanup: drawer closes on a click outside; unused strings (again, into main) - #20

Cleanup: drawer closes on a click outside; unused strings (again, into main)#20

cedricvogel-leo merged 1 commit into

mainglpython-edu/glpython-edu.github.io:mainfrom

chore/cleanup-shellglpython-edu/glpython-edu.github.io:chore/cleanup-shellCopy head branch name to clipboard