environment determination. Supported values are \texttt{GNOME} and \texttt{KDE}.}
\twocolitem{gtk.window.force-background-colour}{If 1, the backgrounds of windows with the wxBG\_STYLE\_COLOUR background style are cleared forcibly instead
of relying on the underlying GTK+ window colour. This works around a display problem when running applications under KDE with the gtk-qt theme installed (0.6 and below).}
+\twocolitem{gtk.desktopmargin.x}{The horizontal margin to subtract from the desktop size when Xinerama is not available.}
+\twocolitem{gtk.desktopmargin.y}{The vertical margin to subtract from the desktop size when Xinerama is not available.}
\end{twocollist}
\wxheading{Mac}
\twocolitem{motif.largebuttons}{If 1, uses a bigger default size for wxButtons.}
\end{twocollist}
-\wxheading{All}
-
-\twocolwidtha{7cm}
-\begin{twocollist}\itemsep=0pt
-\twocolitem{{\bf Option}}{{\bf Value}}
-\twocolitem{sizer.desktopmargin.x}{The horizontal margin to subtract from the desktop size when computing the maximum top-level window size in wxSizer::Fit.}
-\twocolitem{sizer.desktopmargin.y}{The vertical margin to subtract from the desktop size when computing the maximum top-level window size in wxSizer::Fit.}
-\end{twocollist}
-
The compile-time option to include or exclude this functionality
is wxUSE\_SYSTEM\_OPTIONS.
#include "wx/toplevel.h"
#endif // WX_PRECOMP
-#if wxUSE_SYSTEM_OPTIONS
-#include "wx/sysopt.h"
-#endif
-
#include "wx/listimpl.cpp"
}
sizeMax = wxDisplay(disp).GetClientArea().GetSize();
-
-#if wxUSE_SYSTEM_OPTIONS
- int marginX = wxSystemOptions::GetOptionInt(wxT("sizer.desktopmargin.x"));
- int marginY = wxSystemOptions::GetOptionInt(wxT("sizer.desktopmargin.y"));
- sizeMax.x -= marginX;
- sizeMax.y -= marginY;
-#endif
}
}
#include "wx/log.h"
#endif
+#include "wx/sysopt.h"
#include "wx/apptrait.h"
-
#include "wx/process.h"
#include "wx/sysopt.h"
-
#include "wx/unix/execute.h"
#include "wx/gtk/private/timer.h"
void wxDisplaySize( int *width, int *height )
{
- if (width) *width = gdk_screen_width();
- if (height) *height = gdk_screen_height();
+ 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;
}
void wxDisplaySizeMM( int *width, int *height )