Changeset 15780 in josm


Ignore:
Timestamp:
2020-01-26T20:10:41+01:00 (2 months ago)
Author:
simon04
Message:

Advanced Preferences: fix cut off "Search:" label

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

    r15779 r15780  
    66
    77import java.awt.Dimension;
     8import java.awt.GridBagLayout;
    89import java.awt.event.ActionEvent;
    910import java.awt.event.ActionListener;
     
    161162        JPanel p = gui.createPreferenceTab(this);
    162163
     164        final JPanel txtFilterPanel = new JPanel(new GridBagLayout());
     165        p.add(txtFilterPanel, GBC.eol().fill(GBC.HORIZONTAL));
    163166        txtFilter = new JosmTextField();
    164167        JLabel lbFilter = new JLabel(tr("Search:"));
    165168        lbFilter.setLabelFor(txtFilter);
    166         p.add(lbFilter);
    167         p.add(txtFilter, GBC.eol().fill(GBC.HORIZONTAL));
     169        txtFilterPanel.add(lbFilter, GBC.std().insets(0, 0, 5, 0));
     170        txtFilterPanel.add(txtFilter, GBC.eol().fill(GBC.HORIZONTAL));
    168171        txtFilter.getDocument().addDocumentListener(new DocumentListener() {
    169172            @Override
Note: See TracChangeset for help on using the changeset viewer.