Adapt front end to changes in screen width

[propensive]

We should get a WINCH notification if the screen changes size. We can use that to redraw the animated graph.