Align GUI history scroll buttons

Convex-Dev · Jan 4, 2025 · e92e0c2 · e92e0c2
1 parent 4814cd9
commit e92e0c2
Showing 1 changed file with 1 addition and 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
@@ -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");