From 015ad8f3c3ea6074f0b90d6c54f1994dd63466ff Mon Sep 17 00:00:00 2001
From: ner216 <provencher@oakland.edu>
Date: Mon, 9 Mar 2026 12:06:24 -0400
Subject: [PATCH] fix: Add minimum size parameter of 0,0 to the VenusUI frame
 to allow text area to be resized smaller than the original size.

---
 src/rars/venus/EditPane.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/rars/venus/EditPane.java b/src/rars/venus/EditPane.java
index 85700d1e..b9c9b826 100644
--- a/src/rars/venus/EditPane.java
+++ b/src/rars/venus/EditPane.java
@@ -92,6 +92,9 @@ public EditPane(VenusUI appFrame) {
         }
         // sourceCode is responsible for its own scrolling
         this.add(this.sourceCode.getOuterComponent(), BorderLayout.CENTER);
+        
+        // Allow the editor to be shrunk down to a very small height
+        this.setMinimumSize(new Dimension(0, 0));
 
         // If source code is modified, will set flag to trigger/request file save.
         sourceCode.getDocument().addDocumentListener(
@@ -635,4 +638,4 @@ private Font getLineNumberFont(Font sourceFont) {
     }
 
 
-}
\ No newline at end of file
+}