if (height) *height = gdk_screen_height_mm();
}
-void wxGetMousePosition( int* x, int* y )
-{
- gdk_window_get_pointer(gtk_widget_get_root_window(wxGetRootWindow()), x, y, NULL);
-}
-
bool wxColourDisplay()
{
return true;
{
StackDump* dump = static_cast<StackDump*>(p);
// skip over frames up to including wxOnAssert()
- dump->ProcessFrames(7);
+ dump->ProcessFrames(6);
}
#endif // wxDEBUG_LEVEL && wxUSE_STACKWALKER