display: Resize display widget according to scale

This may not be all the places the scale has to be taken into account.
2 jobs for !10 with fractional-scaling in 3 minutes and 20 seconds (queued for 8 seconds)
detached
Status Job ID Name Coverage
  Build
passed #1392
build

00:01:27

 
  Distcheck
passed #1393
distcheck

00:01:52