chiark / gitweb /
terminal: fix back-buffer selection on DRM page-flip