diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-10-01 11:29:09 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-10-02 08:40:43 +0200 |
| commit | dda57d9143644d39091207b287f142f91f55d0ad (patch) | |
| tree | 93991e28537dc9790c57f7b8604321bd6adf1051 /src/machine | |
| parent | a30f1425133d2b64a1c3f0113a710528872a3cbb (diff) | |
terminal: add helpers to retrieve page dimensions
Allow term users to retrieve the page dimensions of a terminal screen.
This is needed to properly calculate the grid dimensions when rendering.
Diffstat (limited to 'src/machine')
0 files changed, 0 insertions, 0 deletions