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