Summary:
Users get confused by the difference between "Pin to Task Manager" and "Add to Panel (Widget)", and we get bugs about this.

This patch resolves that confusion by only showing "Add to Panel (Widget)" when there's no Task Manager widget.

BUG: 390817
FIXED-IN: 5.14.0

Test Plan:
Dragging-and-dropping an app from Kicker or Kickoff pins it to the Task Manager if there's a Task Manager, or creates a Panel launcher if there's no Task Manager.

Context menu items:

Task Manager, widgets unlocked:
{F5856628}

Task Manager, Widgets locked:
{F5856629}

No Task Manager, Widgets unlocked:
{F5856630}

Task Manager, Widgets unlocked:
{F5856631}

Reviewers: #plasma, davidedmundson, mart

Reviewed By: #plasma, mart

Subscribers: mart, davidedmundson, plasma-devel

Tags: #plasma

Differential Revision: https://phabricator.kde.org/D12969