Amebis/wxWidgets
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Moved desktop margin options to a more sensible place

Browse Source 
git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@49678 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Julian Smart
2007-11-06 10:52:14 +00:00
parent 3ed6c6f4ac
commit 9e967d5417
3 changed files with 8 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/gtk/utilsgtk.cpp
View File

@@ -18,11 +18,10 @@
#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"
@@ -144,8 +143,11 @@ void *wxGetDisplay()
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 )