Libraries anvil io File setLength

int setLength(int newLength)
Sets the length of file to 'newLength'. If 'newLength' is greater than the current length, contents of extended section is undefined.
Throws IOError -  If an I/O error occurs