mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
Find/Replace dialog, added 10px of padding to match other dialogs
This commit is contained in:
parent
78e098e3d7
commit
18fc1c9f45
@ -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);
|
||||
|
Loading…
x
Reference in New Issue
Block a user