Makes me wonder again whether we can find a good mechanism for reusing common menu tabs between widget types. But not important for this PR.