iPad: Sash double tap doesn't reset size

[joaomoreno]

Double tap the Terminal sash: it doesn't reset to preferred size.

Also, double tap the corner between Terminal and Explorer sash: it should reset both views.