Florian Müllner d1edefdc39 Reposition items at start of fade in ... We need to set the positions after the animation ends (and fadeIn starts), not before when allocation is changed. As the window may still be in motion when the overlay is repositioned, it is safer to pass the calculated values as parameters. https://bugzilla.gnome.org/show_bug.cgi?id=602598		2009-12-18 11:27:21 -05:00
..
misc	Add search.js, rebase search system on top	2009-12-18 10:07:22 -05:00
ui	Reposition items at start of fade in	2009-12-18 11:27:21 -05:00
Makefile.am	Split appDisplay and docDisplay into "model" and "view" parts	2009-06-16 18:50:42 -04:00