[galaxy-commits] commit/galaxy-central: greg: Keep empty sections in the tool panel when deactivating / uninstalling a repository with tools.