diff options
author | Bent Bisballe Nyeng <deva@aasimon.org> | 2013-10-01 17:20:39 +0200 |
---|---|---|
committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2013-10-01 17:20:39 +0200 |
commit | 8b58bbab8ee810d99d7e2653f7d86fc8dd3f48d6 (patch) | |
tree | 0ecb49344e8c80f2bb28f61d067405fbcc4fa953 /plugingui/pixelbuffer.cc | |
parent | d2898df7ef2efface44199067536f8b8749c0e7c (diff) |
Make sure we redraw if GUI is changed by engine event.
Diffstat (limited to 'plugingui/pixelbuffer.cc')
0 files changed, 0 insertions, 0 deletions