Try to cover gnome panels.

This commit is contained in:
the_fiddler 2008-01-27 11:30:57 +00:00
parent a60ffb6c61
commit 0dc60c6a44

View file

@ -249,6 +249,7 @@ namespace OpenTK.Platform.X11
DisableWindowDecorations(); DisableWindowDecorations();
pre_fullscreen_height = this.Height; pre_fullscreen_height = this.Height;
pre_fullscreen_width = this.Width; pre_fullscreen_width = this.Width;
Functions.XRaiseWindow(API.DefaultDisplay, this.Handle);
Functions.XMoveResizeWindow(API.DefaultDisplay, this.Handle, 0, 0, Functions.XMoveResizeWindow(API.DefaultDisplay, this.Handle, 0, 0,
DisplayDevice.PrimaryDisplay.Width, DisplayDevice.PrimaryDisplay.Height); DisplayDevice.PrimaryDisplay.Width, DisplayDevice.PrimaryDisplay.Height);
Debug.Unindent(); Debug.Unindent();