line wrap on text view (AlloyTools#255)

nmacedo · Oct 16, 2024 · 68ba230 · 68ba230
1 parent 28cbf9e
commit 68ba230
Showing 1 changed file with 1 addition and 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
@@ -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<>();