int GetIntProperty(Property p) { int result; if (screen_get_display_property_iv (handle, p, out result) != 0) { throw new Exception ("Unable to read display property " + p); } return result; }