2014-02-04 10:42:02 +00:00
|
|
|
diff -up wrk/src/wxterminal/wxt_gui.h.wrk wrk/src/wxterminal/wxt_gui.h
|
2014-04-15 15:57:19 +00:00
|
|
|
--- wrk/src/wxterminal/wxt_gui.h.wrk 2014-04-15 17:45:55.184153975 +0200
|
|
|
|
|
+++ wrk/src/wxterminal/wxt_gui.h 2014-04-15 17:48:08.151643628 +0200
|
|
|
|
|
@@ -155,8 +155,9 @@ extern "C" {
|
2014-02-04 10:42:02 +00:00
|
|
|
* already has its event loop, we may or may not be multithreaded */
|
2014-04-15 15:57:19 +00:00
|
|
|
#ifndef WXT_MONOTHREADED
|
2014-02-04 10:42:02 +00:00
|
|
|
#if defined(__WXGTK__)
|
|
|
|
|
-# define WXT_MULTITHREADED
|
|
|
|
|
-#elif defined(__WXMSW__) || defined(__WXMAC__)
|
|
|
|
|
+//avoid a crash when unlocking a not-locked mutex, do not use threads
|
|
|
|
|
+//# define WXT_MULTITHREADED
|
|
|
|
|
+//#elif defined(__WXMSW__) || defined(__WXMAC__)
|
|
|
|
|
# define WXT_MONOTHREADED
|
|
|
|
|
#else
|
2014-04-15 15:57:19 +00:00
|
|
|
# error "wxt does not know if this platform has to be single- or multi-threaded"
|
