Index: trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java	(revision 15779)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java	(revision 15780)
@@ -6,4 +6,5 @@
 
 import java.awt.Dimension;
+import java.awt.GridBagLayout;
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
@@ -161,9 +162,11 @@
         JPanel p = gui.createPreferenceTab(this);
 
+        final JPanel txtFilterPanel = new JPanel(new GridBagLayout());
+        p.add(txtFilterPanel, GBC.eol().fill(GBC.HORIZONTAL));
         txtFilter = new JosmTextField();
         JLabel lbFilter = new JLabel(tr("Search:"));
         lbFilter.setLabelFor(txtFilter);
-        p.add(lbFilter);
-        p.add(txtFilter, GBC.eol().fill(GBC.HORIZONTAL));
+        txtFilterPanel.add(lbFilter, GBC.std().insets(0, 0, 5, 0));
+        txtFilterPanel.add(txtFilter, GBC.eol().fill(GBC.HORIZONTAL));
         txtFilter.getDocument().addDocumentListener(new DocumentListener() {
             @Override