change the selection appropriately (and refresh it as needed) after deleting a notebo...

[wxWidgets.git] / include / wx / utils.h

diff --git a/include/wx/utils.h b/include/wx/utils.h
index 0d51ae667bf9e59a2d717c316f16e746000921a3..4b713c73a6397ef71857eed31caa4770c85fef62 100644 (file)
--- a/include/wx/utils.h
+++ b/include/wx/utils.h
@@ -490,7 +490,7 @@ void WXDLLEXPORT wxGetMousePosition( int* x, int* y );
 
 // Format a message on the standard error (UNIX) or the debugging
 // stream (Windows)
-WXDLLEXPORT void wxDebugMsg(const wxChar *fmt ...);
+WXDLLEXPORT void wxDebugMsg(const wxChar *fmt ...) ATTRIBUTE_PRINTF_1;
 
 // Non-fatal error (continues)
 WXDLLEXPORT_DATA(extern const wxChar*) wxInternalErrorStr;