From df9346920e5c365fd17f08e9ea82c41765801999 Mon Sep 17 00:00:00 2001
From: and3md <and3md@gmail.com>
Date: Sun, 25 Jun 2017 15:46:51 +0200
Subject: [PATCH] Fix theme change crash on X11.

---
 src/dlangui/platforms/x11/x11app.d | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/dlangui/platforms/x11/x11app.d b/src/dlangui/platforms/x11/x11app.d
index 019b5d8f..a5c01e62 100644
--- a/src/dlangui/platforms/x11/x11app.d
+++ b/src/dlangui/platforms/x11/x11app.d
@@ -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;