diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-10-02 18:26:06 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-10-03 15:57:00 +0200 |
| commit | 51cff8bdedbc283b2403ab4a688903d8b1f2fab5 (patch) | |
| tree | 8514ad964d0ba061244a8944c1fe4194cd77ef06 /src/hostname | |
| parent | aec3f44651998211d559b474bb830aad65680a62 (diff) | |
terminal/grdev: provide front and back buffer to renderers
We really want more sophisticated aging than just 64bit integers. So
always provide front *and* back buffers to renderers so they can compare
arbitrary aging information and decide whether to re-render.
Diffstat (limited to 'src/hostname')
0 files changed, 0 insertions, 0 deletions