refresh_display is bound to Ctrl-r.

  This is useful when there are still some display glitches.