Added gdk.Screen.GetWidth() and gdk.Screen.GetHeight()