Port to GtkRevealer