mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-18 12:54:25 +01:00
Slighlty better layout for Search and Replace dialog.
See https://github.com/arduino/Arduino/pull/2540#issuecomment-69167281
This commit is contained in:
parent
18fc1c9f45
commit
92118494ed
@ -122,7 +122,7 @@ public class FindReplace extends JFrame implements ActionListener {
|
||||
searchAllFilesBox.setSelected(searchAllFiles);
|
||||
|
||||
JPanel checkboxPanel = new JPanel();
|
||||
checkboxPanel.setLayout(new BoxLayout(checkboxPanel, BoxLayout.LINE_AXIS));
|
||||
checkboxPanel.setLayout(new BoxLayout(checkboxPanel, BoxLayout.PAGE_AXIS));
|
||||
checkboxPanel.add(ignoreCaseBox);
|
||||
checkboxPanel.add(Box.createRigidArea(new Dimension(8, 0)));
|
||||
checkboxPanel.add(wrapAroundBox);
|
||||
|
Loading…
x
Reference in New Issue
Block a user