summaryrefslogtreecommitdiff
path: root/plugingui/directory.cc
diff options
context:
space:
mode:
authorBent Bisballe Nyeng <deva@aasimon.org>2013-10-01 17:20:39 +0200
committerBent Bisballe Nyeng <deva@aasimon.org>2013-10-01 17:20:39 +0200
commit8b58bbab8ee810d99d7e2653f7d86fc8dd3f48d6 (patch)
tree0ecb49344e8c80f2bb28f61d067405fbcc4fa953 /plugingui/directory.cc
parentd2898df7ef2efface44199067536f8b8749c0e7c (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