Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixing problem that if plugins are installed, but none of the top-lev…
…el ones (the ones shown in the Plugins tab at the top level), you don’t see the “No plugins are currently installed” message when you click on the tab. This was because the code to show that relied on no plugins at all being defined in the system, rather than no top-level ones.
- Loading branch information