- Timestamp:
- 2023-09-25T22:48:22+02:00 (14 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/conflict/pair/tags/TagMerger.java
r16267 r18845 5 5 6 6 import java.awt.Adjustable; 7 import java.awt.GridBagConstraints; 8 import java.awt.GridBagLayout; 7 9 import java.awt.event.ActionEvent; 8 10 import java.awt.event.AdjustmentEvent; … … 19 21 import javax.swing.JButton; 20 22 import javax.swing.JComponent; 23 import javax.swing.JPanel; 21 24 import javax.swing.JScrollPane; 22 25 import javax.swing.JTable; … … 30 33 import org.openstreetmap.josm.gui.conflict.pair.MergeDecisionType; 31 34 import org.openstreetmap.josm.gui.tagging.TagTableColumnModelBuilder; 35 import org.openstreetmap.josm.gui.util.GuiHelper; 32 36 import org.openstreetmap.josm.tools.GBC; 33 37 import org.openstreetmap.josm.tools.ImageProvider; … … 113 117 */ 114 118 JScrollPane embeddInScrollPane(JTable table) { 115 JScrollPane pane = new JScrollPane(table); 119 // See #23189: Tag tables should resize (where possible) with the window 120 final JPanel panel = new JPanel(new GridBagLayout()); 121 panel.add(table.getTableHeader(), GBC.eol().fill(GridBagConstraints.HORIZONTAL)); 122 panel.add(table, GBC.eol().fill(GridBagConstraints.BOTH)); 123 final JScrollPane pane = GuiHelper.embedInVerticalScrollPane(panel); 116 124 adjustmentSynchronizer.synchronizeAdjustment(pane.getVerticalScrollBar()); 117 125 return pane;
Note:
See TracChangeset
for help on using the changeset viewer.