Changeset 15780 in josm for trunk/src/org/openstreetmap/josm/gui/preferences

Timestamp:

2020-01-26T20:10:41+01:00 (4 years ago)

Author:

simon04

Message:

Advanced Preferences: fix cut off "Search:" label

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

@@ -6 +6 @@
 
 import java.awt.Dimension;
+import java.awt.GridBagLayout;
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
@@ -161 +162 @@
         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