chiark / gitweb /
terminal: add helpers to retrieve page dimensions