highlight method removed, indent-unindents

2026-09-28 00:10:47 +00:00 · 2013-10-13 17:08:51 +02:00
parent 6d7aa04c44
commit f325ba0db7
180 changed files with 630 additions and 626 deletions
@@ -35,7 +35,7 @@ public class IntegerValueItem extends GraphTargetItem {

    @Override
    protected HilightedTextWriter appendTo(HilightedTextWriter writer, LocalData localData) {
-        return hilight("" + intValue, writer);
+        return writer.append("" + intValue);
    }

    @Override