Otherwise I'll file one and might write that code up, it should be quite a lot less of code using GtkRevealer instead of the custom animation code.
