Returns the width in pixels of the current device's backbuffer. This value will change if the device orientation changes from portrait to landscape, but only if orientation changes are allowed.
integer GetDeviceWidth()
int agk::GetDeviceWidth()