Joachim,
As you discovered, deactivating a repository does not give you the
option to select a new tool panel section. However, if you select the
option to remove the repository from disk, and then reinstall it, you
will be presented with the tool panel section page, where you can
uncheck
Hi Joachim,
can you try to delete/rename integrated_tool_panel.xml, it is generated
during start-up.
Hope that helps,
Björn
Hi all,
Stupidly enough, I installed a tool shed repo under 'root' of the
toolbox. Yes, it was EMBOSS5.0 (btw, installation went flawless!).
1. From the admin