From c8492e1f4bff739a6b52eff224a8e59ae99533c2 Mon Sep 17 00:00:00 2001
From: nmacedo <nfmmacedo@di.uminho.pt>
Date: Wed, 12 Oct 2022 14:02:15 +0100
Subject: [PATCH] records not numbered in viz

---
 .../src/main/java/edu/mit/csail/sdg/alloy4viz/VizState.java     | 2 ++
 1 file changed, 2 insertions(+)

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
index c7398a914..42b6f9720 100644
--- 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)