This MR provides the option to configure either of the toggles. e.g. making a panel toggable
Are we able to test this new feature?
git checkout feature/#191-configure-panel-toggles
false or the other way around
npm run dev and watch the toggles in the header bar dis/appear.
Note: pls keep in mind - since it's about config and you want to chnage it several times -, TiDO has to be reloaded, everytime you change the config.
Add all related issues and especially those to be closed.