From e92e0c258c8fbeb66eaed5cb807467c3af96f107 Mon Sep 17 00:00:00 2001
From: mikera <mike@mikera.net>
Date: Sat, 4 Jan 2025 13:20:56 +0000
Subject: [PATCH] Align GUI history scroll buttons

---
 convex-gui/src/main/java/convex/gui/repl/REPLPanel.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/convex-gui/src/main/java/convex/gui/repl/REPLPanel.java b/convex-gui/src/main/java/convex/gui/repl/REPLPanel.java
index d9015947a..324eedb72 100644
--- a/convex-gui/src/main/java/convex/gui/repl/REPLPanel.java
+++ b/convex-gui/src/main/java/convex/gui/repl/REPLPanel.java
@@ -190,7 +190,7 @@ public REPLPanel(Convex convex) {
 		inputPanel.add(inputScrollPane,"dock center");
 
 		JPanel historyPanel=new JPanel();
-		historyPanel.setLayout(new MigLayout("wrap 1"));
+		historyPanel.setLayout(new MigLayout("wrap 1,aligny center"));
 		historyPanel.add(ActionButton.build(0xe316, e->scrollHistory(-1),"Previous command in history"));
 		historyPanel.add(ActionButton.build(0xe313, e->scrollHistory(1),"Next command in history"));
 		inputPanel.add(historyPanel,"dock east");