Resize panels

Soundless video clip.

The buttons demonstrated here are an alternative when the hot corner on panels is not available, for example on touch devices.