reset_push


Description:

public void reset_push (char[] data, int len, string? filename = null, string? encoding = null)