wxBORDER_MASK = 0x1f200000
};
+/* This makes it easier to specify a 'normal' border for a control */
+#if defined(__SMARTPHONE__) || defined(__POCKETPC__)
+#define wxDEFAULT_CONTROL_BORDER wxBORDER_SIMPLE
+#else
+#define wxDEFAULT_CONTROL_BORDER wxBORDER_SUNKEN
+#endif
+
/* ---------------------------------------------------------------------------- */
/* Window style flags */
/* ---------------------------------------------------------------------------- */
WXK_WINDOWS_MENU ,
WXK_COMMAND,
- // Hardware-specific buttons
+ /* Hardware-specific buttons */
WXK_SPECIAL1 = 193,
WXK_SPECIAL2,
WXK_SPECIAL3,
typedef unsigned char WXCOLORREF[6];
typedef void* WXCGIMAGEREF;
typedef void* WXHBITMAP;
-//typedef void* WXHMETAFILE;
-//typedef void* WXHICON;
typedef void* WXHCURSOR;
typedef void* WXHRGN;
typedef void* WXRECTPTR;
typedef void * WXHPALETTE;
typedef void * WXHCURSOR;
typedef void * WXHRGN;
+typedef void * WXRECTPTR;
typedef void * WXHACCEL;
typedef void WXFAR * WXHINSTANCE;
typedef void * WXHBITMAP;