void SetIntProperty(Property p, int val) { if (screen_set_display_property_iv (handle, p, ref val) != 0) { throw new Exception ("Unable to set display property " + p); } }