diff -r 20ca0a6be175 -r 9b6a0daedfc0 sources/coloredline.h
--- a/sources/coloredline.h	Wed Jan 27 14:04:53 2021 +0200
+++ b/sources/coloredline.h	Wed Jan 27 14:05:39 2021 +0200
@@ -69,7 +69,7 @@
 	const Vector<int>& data() const { return m_data; }
 	int length() const { return m_length; }
 	void addChar(char ch);
-	void addString(const String& msg);
+	void addString(const std::string& msg);
 	void finalize();
 	int rows(int cols) const;
 
@@ -83,8 +83,8 @@
 	Color m_activeColor;
 	bool m_boldActive;
 	int m_colorCodeStage;
-	String m_string;
-	String m_incomingColorName;
+	std::string m_string;
+	std::string m_incomingColorName;
 };
 
 END_ZFC_NAMESPACE