rename debug terminal to debug window
rename debug terminal to debug window
Merge branch 'master' of https://github.com/Wolframe/wolfclient
...
Merge branch 'master' of https://github.com/Wolframe/wolfclient