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/directory.cc | |
| parent | d2898df7ef2efface44199067536f8b8749c0e7c (diff) | |
Make sure we redraw if GUI is changed by engine event.
Diffstat (limited to 'plugingui/directory.cc')
0 files changed, 0 insertions, 0 deletions