if (height) *height = gdk_screen_height_mm();
}
-void wxClientDisplayRect(int *x, int *y, int *width, int *height)
-{
- // This is supposed to return desktop dimensions minus any window
- // manager panels, menus, taskbars, etc. If there is a way to do that
- // for this platform please fix this function, otherwise it defaults
- // to the entire desktop.
- if (x) *x = 0;
- if (y) *y = 0;
- wxDisplaySize(width, height);
-}
-
void wxGetMousePosition( int* x, int* y )
{
gdk_window_get_pointer( (GdkWindow*) NULL, x, y, (GdkModifierType*) NULL );
return wxPORT_GTK;
}
-wxEventLoop* wxGUIAppTraits::CreateEventLoop()
+wxEventLoopBase* wxGUIAppTraits::CreateEventLoop()
{
return new wxEventLoop;
}
}
#endif
-wxString
-wxGUIAppTraits::GetStandardCmdLineOptions(wxArrayString& names,
- wxArrayString& desc) const
-{
- wxString usage;
-
- wxUnusedVar(names);
- wxUnusedVar(desc);
-
- return usage;
-}