don't duplicate wxGetTopLevelParent() code in wxHtmlHelpController::FindTopLevelWindow()

[wxWidgets.git] / src / gtk1 / notebook.cpp

diff --git a/src/gtk1/notebook.cpp b/src/gtk1/notebook.cpp
index 1b953423e0d5ad15fa560d2d848ecda69465f196..22e96ee172bf80a81f288a56b39b671f628feafb 100644 (file)
--- a/src/gtk1/notebook.cpp
+++ b/src/gtk1/notebook.cpp
@@ -433,7 +433,7 @@ int wxNotebook::DoSetSelection( size_t page, int flags )
     // gtk_notebook_set_current_page is supposed to emit the switch-page signal
     // which should be caught by our gtk_notebook_page_change_callback which
     // should have reset the flag to false, check it:
-    wxASSERT_LEVEL_2(
+    wxASSERT_LEVEL_2_MSG(
         (flags & SetSelection_SendEvent) || !m_skipNextPageChangeEvent,
         "internal error in selection events generation"
     );