P18 phase 2: IDE shell – one bar, files drawer, stacked workspace - #16

P18 phase 2: IDE shell – one bar, files drawer, stacked workspace#16

cedricvogel-leo merged 2 commits into

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

feature/ide-shellglpython-edu/glpython-edu.github.io:feature/ide-shellCopy head branch name to clipboard