public void set_update_interval( string [] config_names, long [] intervals ) { this.Invoke("set_update_interval", new object [] { config_names, intervals}); }