From 6ed9bf67797b48179d4fe8cc3d48ddcf271afd4f Mon Sep 17 00:00:00 2001
From: Stef Tervelde <stef@steftervelde.nl>
Date: Fri, 28 Mar 2025 15:49:56 +0100
Subject: [PATCH] "Much better" - @SableRaf 2025

---
 app/src/processing/app/ui/EditorFooter.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/ui/EditorFooter.java b/app/src/processing/app/ui/EditorFooter.java
index db1281058..276b78364 100644
--- a/app/src/processing/app/ui/EditorFooter.java
+++ b/app/src/processing/app/ui/EditorFooter.java
@@ -111,7 +111,7 @@ public class EditorFooter extends Box {
     tabBar.add(controller);
 
     version = new JLabel(Base.getVersionName());
-    version.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, MARGIN));
+    version.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, Editor.RIGHT_GUTTER));
     version.addMouseListener(new MouseAdapter() {
       public void mousePressed(MouseEvent e) {
         if(e.getClickCount() == 5){