From a5d271dd8f3c2726aa42929c923704f98ad37010 Mon Sep 17 00:00:00 2001 From: Bent Bisballe Nyeng Date: Fri, 27 Sep 2013 20:16:12 +0200 Subject: Optimise repaint events greatly improving GUI responsiveness. --- plugingui/Makefile.mingw32 | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'plugingui/Makefile.mingw32') diff --git a/plugingui/Makefile.mingw32 b/plugingui/Makefile.mingw32 index b8ffe9e..d1cd3bc 100644 --- a/plugingui/Makefile.mingw32 +++ b/plugingui/Makefile.mingw32 @@ -40,7 +40,10 @@ CXX_SOURCES = \ $(top_srcdir)/plugingui/resource.cc \ $(top_srcdir)/plugingui/resource_data.cc \ $(top_srcdir)/src/thread.cc \ - $(top_srcdir)/src/semaphore.cc + $(top_srcdir)/src/semaphore.cc \ + $(top_srcdir)/src/mutex.cc \ + $(top_srcdir)/src/messagehandler.cc \ + $(top_srcdir)/src/messagereceiver.cc OBJECTS=$(CXX_SOURCES:.cc=.o) $(C_SOURCES:.c=.o) #OBJECTS=$(PLUGIN_GUI_SOURCES:.cc=.o) -- cgit v1.2.3