Enable custom user menu items to appear in menu#382

Open

wilminator wants to merge 1 commit intogiterlizzi:masterfrom

wilminator:master

Commits on Jun 21, 2018

* Suggested fix to missing non-default user tools added by other plugins.
wilminator
committed