This is because the "Auto hide animation speed" preference of Eiffel Studio too fast, it's 1 by default on your version I think. Now we changed it to 20 by default which works fine on Linux. So this problem fixed.
Thanks for the report.