toString renamed to appendTo

2026-09-27 06:01:00 +00:00 · 2013-10-13 14:36:34 +02:00
parent caaefef393
commit c38c9b8148
188 changed files with 201 additions and 197 deletions
@@ -39,7 +39,7 @@ public class DuplicateItem extends GraphTargetItem {
    }

    @Override
-    public HilightedTextWriter toString(HilightedTextWriter writer, LocalData localData) {
+    protected HilightedTextWriter appendTo(HilightedTextWriter writer, LocalData localData) {
        return value.toString(writer, localData);
    }