[galaxy-dev] [hg] galaxy 3640: Fix tipsy tooltip staying on screen after dele...