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