Clone default text attributes

git-svn-id: https://svn-dept.inf.ethz.ch/svn/lecturers/a2/trunk@8834 8c9fc860-2736-0410-a75d-ab315db34111

source/SyntaxHighlighter.Mod

@@ -1955,7 +1955,7 @@ BEGIN
 	IF (style # NIL) & (style.attributes # NIL) THEN
 		attributes := style.attributes;
 	ELSE
-		attributes := Texts.defaultAttributes;
+		attributes := Texts.defaultAttributes.Clone();
 	END;
 	text.SetAttributes(0, text.GetLength(), attributes);
 

source/TextUtilities.Mod

@@ -2565,7 +2565,7 @@ END GetTextReader;
 
 PROCEDURE GetDefaultAttributes* () : Texts.Attributes;
 BEGIN
-	RETURN Texts.defaultAttributes;
+	RETURN Texts.defaultAttributes.Clone();
 END GetDefaultAttributes;
 
 BEGIN

source/WMTextTool.Mod

@@ -552,7 +552,7 @@ END GetNewSize;
 PROCEDURE EnsureAttribute(VAR attr : Texts.Attributes);
 BEGIN
 	IF (attr = NIL) THEN
-		attr := Texts.defaultAttributes;
+		attr := Texts.defaultAttributes.Clone();
 	END
 END EnsureAttribute;
 

source/WMTextView.Mod

@@ -4233,7 +4233,7 @@ END DZ;
 PROCEDURE EnsureAttribute(VAR attr : Texts.Attributes);
 BEGIN
 	IF (attr = NIL) THEN
-		attr := Texts.defaultAttributes;
+		attr := Texts.defaultAttributes.Clone();
 	END;
 END EnsureAttribute;