Ticket #14840: 14840-alignment-fix.patch

src/org/openstreetmap/josm/actions/search/SearchAction.java

@@ -289 +289 @@
 
         JPanel selectionSettings = new JPanel(new GridBagLayout());
         selectionSettings.setBorder(BorderFactory.createTitledBorder(tr("Selection settings")));
-        selectionSettings.add(replace, GBC.eol());
+        selectionSettings.add(replace, GBC.eol().anchor(GBC.WEST).fill(GBC.HORIZONTAL));
         selectionSettings.add(add, GBC.eol());
         selectionSettings.add(remove, GBC.eol());
         selectionSettings.add(inSelection, GBC.eop());
@@ -296 +296 @@
 
         JPanel additionalSettings = new JPanel(new GridBagLayout());
         additionalSettings.setBorder(BorderFactory.createTitledBorder(tr("Additional settings")));
-        additionalSettings.add(caseSensitive, GBC.eol());
+        additionalSettings.add(caseSensitive, GBC.eol().anchor(GBC.WEST).fill(GBC.HORIZONTAL));
 
         if (Main.pref.getBoolean("expert", false)) {
             additionalSettings.add(allElements, GBC.eol());
@@ -304 +304 @@
 
             JPanel searchOptions = new JPanel(new GridBagLayout());
             searchOptions.setBorder(BorderFactory.createTitledBorder(tr("Search Options")));
-            searchOptions.add(standardSearch, GBC.eol());
+            searchOptions.add(standardSearch, GBC.eol().anchor(GBC.WEST).fill(GBC.HORIZONTAL));
             searchOptions.add(regexSearch, GBC.eol());
             searchOptions.add(mapCSSSearch, GBC.eol());