added menu for showing/hiding dock widget tools.