public void set_default_profile( string [] profiles, string [] defaults ) { this.Invoke("set_default_profile", new object [] { profiles, defaults}); }