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){