From cc24607a4856f51552fcb6024f370dbb9e7d7204 Mon Sep 17 00:00:00 2001
From: Jinhao <cnjinhao@hotmail.com>
Date: Wed, 15 Mar 2017 23:43:47 +0800
Subject: [PATCH] small change

---
 source/gui/detail/window_manager.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/source/gui/detail/window_manager.cpp b/source/gui/detail/window_manager.cpp
index 7ba67d3e..affd3abd 100644
--- a/source/gui/detail/window_manager.cpp
+++ b/source/gui/detail/window_manager.cpp
@@ -1417,7 +1417,8 @@ namespace detail
 
 		void window_manager::remove_trash_handle(unsigned tid)
 		{
-			internal_scope_guard lock;
+			//Thread-Safe Required!
+			std::lock_guard<mutex_type> lock(mutex_);
 			impl_->wd_register.delete_trash(tid);
 		}