records not numbered in viz

haslab · Oct 12, 2022 · c8492e1 · c8492e1
1 parent 01a3599
commit c8492e1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizState.java b/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizState.java
@@ -173,6 +173,8 @@ void applyDefaultVar() {
         for (AlloyType r : currentModel.getTypes()) {
             if (nodeStyle.get(r) == null && r.isVar && !(currentModel.getSuperType(r).isVar || nodeStyle.get(currentModel.getSuperType(r)) != null))
                 nodeStyle.put(r, DotStyle.DASHED);
+            if (number.get(r) == null && r.isRecord)
+                number.put(r, false);
         }
         for (AlloyRelation r : currentModel.getRelations()) {
             if (edgeStyle.get(r) == null && r.isVar)