From 68ba23052d47d42215c3db5676dab0323c23a772 Mon Sep 17 00:00:00 2001
From: Nuno Macedo <nmacedo@fe.up.pt>
Date: Wed, 16 Oct 2024 20:29:21 +0100
Subject: [PATCH] line wrap on text view (#255)

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

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
index e4f8cf958..d0561e27a 100644
--- 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
@@ -1129,7 +1129,7 @@ private JComponent getTextComponent(List<String> texts, boolean wrap) {
         diagramsScrollPanels.setLayout(new BoxLayout(diagramsScrollPanels, BoxLayout.LINE_AXIS));
         for (int i = 0; i < texts.size(); i++) {
 
-            final JTextArea ta = OurUtil.textarea(texts.get(i), 10, 10, false, false);
+            final JTextArea ta = OurUtil.textarea(texts.get(i), 10, 10, false, wrap);
 
             try {
                 List<Entry<Integer,Integer>> dfs = new ArrayList<>();