Fix theme change crash on X11.

This commit is contained in:
and3md 2017-06-25 15:46:51 +02:00
parent baec5e04b4
commit df9346920e
1 changed files with 7 additions and 0 deletions

View File

@ -1542,6 +1542,13 @@ class X11Platform : Platform {
w.requestLayout();
}
}
/// handle theme change: e.g. reload some themed resources
override void onThemeChanged() {
foreach(w; _windowMap)
w.dispatchThemeChanged();
}
}
import core.thread;