/// export declare function on_position_changed(obj: any, trigger: any, millis?: any): NodeJS.Timeout;