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 +}