Re: Adding a tool to the Dolphin menu