deal with the situation when a (dynamic) event handler disconnects itself during...

[wxWidgets.git] / src / x11 / settings.cpp

diff --git a/src/x11/settings.cpp b/src/x11/settings.cpp
index 89485acb90345bb136e1a9b42b5baea0aea48014..9b5564524d892e3410c51969a79d538bf17125a3 100644 (file)
--- a/src/x11/settings.cpp
+++ b/src/x11/settings.cpp
@@ -13,10 +13,6 @@
 // per-user file, which can be edited using a Windows-control-panel clone.
 // Also they should be documented better. Some are very MS Windows-ish.
 
 // per-user file, which can be edited using a Windows-control-panel clone.
 // Also they should be documented better. Some are very MS Windows-ish.
 

-#if defined(__GNUG__) && !defined(NO_GCC_PRAGMA)
-#pragma implementation "settings.h"
-#endif
-

 #include "wx/settings.h"
 #include "wx/gdicmn.h"
 #include "wx/x11/private.h"
 #include "wx/settings.h"
 #include "wx/gdicmn.h"
 #include "wx/x11/private.h"