From d2178d25bdce88ae324da8b17c3caf09f83d2d4d Mon Sep 17 00:00:00 2001 From: benfry Date: Sun, 23 Nov 2008 15:50:40 +0000 Subject: [PATCH] tweaking placement constants for export application window --- app/src/processing/app/Sketch.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/app/src/processing/app/Sketch.java b/app/src/processing/app/Sketch.java index d9ce71324..88eaa21e4 100644 --- a/app/src/processing/app/Sketch.java +++ b/app/src/processing/app/Sketch.java @@ -1981,7 +1981,7 @@ public class Sketch { Preferences.setBoolean("export.application.stop", showStopButton.isSelected()); } }); - showStopButton.setBorder(new EmptyBorder(6, 13, 6, 13)); + showStopButton.setBorder(new EmptyBorder(3, 13, 6, 13)); // indentPanel.add(showStopButton); // indentPanel.setAlignmentX(Component.LEFT_ALIGNMENT); @@ -1995,7 +1995,7 @@ public class Sketch { showStopButton.setEnabled(sal); } }); - fullScreenButton.setBorder(new EmptyBorder(6, 13, 0, 13)); + fullScreenButton.setBorder(new EmptyBorder(3, 13, 3, 13)); JPanel optionPanel = new JPanel(); optionPanel.setLayout(new BoxLayout(optionPanel, BoxLayout.Y_AXIS));