Writes string data to file
void writeFileString(String path, String data) { path = pathExpand(path); data = adjustTextNewlines(data); writeFileBytes(path, dart_convert.utf8.encode(data)); }