[5.0 Beta] Missing gears menu -- cannot access plugin options

In the current 5.0 beta, there is no longer a Gears menu for accessing various Zotero options. To access the general presences, you need to access the Options item in the Tools menu in the menubar. This overall works fine (though aesthetically I would have preferred that instead the menubar be eliminated entirely and the Add-ons item added to the Gears menu). However, Zutilo and Zotfile (and perhaps other plugins?) added their preferences menu items to the Gears menu, so there is now no way to access their menus. Will the Gears menu be restored, or is there a way to add for plugins to add items to the Tools menu?
Sign In or Register to comment.