From 4958c173bebecd27799d77f36db8e20741318f2d Mon Sep 17 00:00:00 2001 From: Timothy Mou Date: Sun, 27 Aug 2023 20:42:36 -0500 Subject: [PATCH] Enable word wrap in results panel --- .../java/edu/harvard/seas/pl/abcdatalog/gui/DatalogGui.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/main/java/edu/harvard/seas/pl/abcdatalog/gui/DatalogGui.java b/src/main/java/edu/harvard/seas/pl/abcdatalog/gui/DatalogGui.java index 2ce7562..775c639 100644 --- a/src/main/java/edu/harvard/seas/pl/abcdatalog/gui/DatalogGui.java +++ b/src/main/java/edu/harvard/seas/pl/abcdatalog/gui/DatalogGui.java @@ -217,6 +217,8 @@ public void actionPerformed(ActionEvent e) { this.results = new JTextArea(10, 60); this.results.setEditable(false); this.results.setText("No program loaded."); + this.results.setLineWrap(true); + this.results.setWrapStyleWord(true); JScrollPane resultsScroll = new JScrollPane(this.results, ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED, ScrollPaneConstants.HORIZONTAL_SCROLLBAR_AS_NEEDED);