chiark / gitweb /
terminal: fix restoring of screen flags