tree 34df3b4d9f45356e598e13122874f11955eb4000
parent bd70b122f871443109d8e3bae2c8b223cd297aaa
author Dani Megert <dmegert> 1197475195 +0000
committer Dani Megert <dmegert> 1197475195 +0000

Fixed bug 212517: Hover stays on top if focus on application outside of eclipse