- int marginX = wxSystemOptions::GetOptionInt(wxT("gtk.desktopmargin.x"));
- int marginY = wxSystemOptions::GetOptionInt(wxT("gtk.desktopmargin.y"));
-
- if (width) *width = gdk_screen_width() - marginX;
- if (height) *height = gdk_screen_height() - marginY;