void writeAsString(int indent, String name, String? value) { if (value == null) return; var spaces = getSpaces(indent); _content += spaces + name + ': \'' + value + '\'\n'; }