Hide symbols tab with a configuration
Merge pull request #409 from ontohub/correcting394_hiding_symbols_tab

Hide symbols tab with a configuration