fixed rebase

AlloyTools · Jul 21, 2024 · 782d423 · 782d423
1 parent 0176537
commit 782d423
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGUI.java b/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGUI.java
@@ -967,12 +967,12 @@ public final void focusLost(FocusEvent e) {
             }
             case TEXT : {
                 List<String> textualOutput = IntStream.range(current, current + numPanes).mapToObj(x -> myStates.get(0).getOriginalInstance().originalA4.toString(x)).collect(Collectors.toList());
-                content = getTextComponent(textualOutput);
+                content = getTextComponent(textualOutput, true);
                 break;
             }
             case TABLE : {
                 List<String> textualOutput = IntStream.range(current, current + numPanes).mapToObj(x -> myStates.get(0).getOriginalInstance().originalA4.format(x)).collect(Collectors.toList());
-                content = getTextComponent(textualOutput);
+                content = getTextComponent(textualOutput, false);
                 break;
             }
             default : {