diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-10-02 13:11:53 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-10-03 15:57:00 +0200 |
| commit | db1a606610e5a528903a4380f30c9934a0c5a134 (patch) | |
| tree | 93805c43ee1ff25ab09406ae4d951d7cd7391c99 /man/binfmt.d.xml | |
| parent | 754fc0c720eb998b8e47e695c12807ced0ff3602 (diff) | |
terminal: fix back-buffer selection on DRM page-flip
We currently select front-buffers as new back-buffer if they happen to be
the last buffer in our framebuffer-array. Fix this by never selecting a
new front buffer as back buffer.
Diffstat (limited to 'man/binfmt.d.xml')
0 files changed, 0 insertions, 0 deletions