[#587] Fixed a problem with deleting tools in a project with the new theme
Authored by: Jenny Steele 2010-06-14
Parent(s): [c7ff30]
Child(ren): [0c7c4c]