// headers
// ---------------------------------------------------------------------------
-#if defined(__GNUG__) && !defined(NO_GCC_PRAGMA)
- #pragma interface "window.h"
-#endif
-
// [at least] some version of Windows send extra mouse move messages after
// a mouse click or a key press - to temporarily fix this problem, set the
// define below to 1
// the background, false otherwise (i.e. the system should erase it)
bool DoEraseBackground(WXHDC hDC);
+ // generate WM_UPDATEUISTATE if it's needed for the OS we're running under
+ void MSWUpdateUIState();
+
private:
// common part of all ctors
void Init();