Adam d629d422f7 menus: add widgetmenuoption constructor for widgetid ...

This is for pluginhub plugins which want to add a managed custom menu for a widget with no corresponding widgetinfo

2021-03-22 19:53:01 -04:00

..

src

menus: add widgetmenuoption constructor for widgetid

2021-03-22 19:53:01 -04:00

pom.xml

Bump for 1.7.3-SNAPSHOT

2021-03-03 12:07:46 +00:00