From 18fc1c9f4532598749ebbfb1dee4a26240bc0cd0 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Wed, 7 Jan 2015 16:02:12 +0100
Subject: [PATCH] Find/Replace dialog, added 10px of padding to match other
 dialogs

---
 app/src/processing/app/FindReplace.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/app/src/processing/app/FindReplace.java b/app/src/processing/app/FindReplace.java
index 4c84c0976..2e62be063 100644
--- a/app/src/processing/app/FindReplace.java
+++ b/app/src/processing/app/FindReplace.java
@@ -28,6 +28,7 @@ import java.awt.*;
 import java.awt.event.*;
 
 import javax.swing.*;
+import javax.swing.border.Border;
 
 import processing.app.helpers.OSUtils;
 
@@ -75,6 +76,11 @@ public class FindReplace extends JFrame implements ActionListener {
   public FindReplace(Editor editor) {
     super(_("Find"));
     this.editor = editor;
+
+    JPanel contentPanel = new JPanel();
+    Border padding = BorderFactory.createEmptyBorder(10, 10, 10, 10);
+    contentPanel.setBorder(padding);
+    setContentPane(contentPanel);
     
     JLabel findLabel = new JLabel(_("Find:"));
     findField = new JTextField(20);