> Yes, in Windows since 8 (i think) if you doubleclick on the top edge (where the mouse cursor becomes the top/down arrows) you maximize the window vertically (its width remains the same as it was).

IIRC most of these window management gestures were introduced in Windows 7, certainly double-clicking top edge works on Windows 7 (I just tried it).