merged the tools + tools options palettes in the editor theme artwork