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
#endif // __UNIX__ || __OS2__
+#ifdef __UNIX__
+
// see the hack below in wxCmdLineParser::GetUsageString().
// TODO: replace this hack with a g_option_group_get_entries()
// call as soon as such function exists;
GOptionErrorFunc error_func;
};
+static
wxString wxGetNameFromGtkOptionEntry(const GOptionEntry *opt)
{
wxString ret;
return wxT(" ") + ret;
}
-#ifdef __UNIX__
-
wxString
wxGUIAppTraits::GetStandardCmdLineOptions(wxArrayString& names,
wxArrayString& desc) const