Ticket #1607: ColorPreference.diff
File ColorPreference.diff, 1.8 KB (added by , 16 years ago) |
---|
-
src/org/openstreetmap/josm/gui/preferences/ColorPreference.java
7 7 import java.awt.Color; 8 8 import java.awt.Component; 9 9 import java.awt.Dimension; 10 import java.awt.GridBagLayout; 10 11 import java.awt.event.ActionEvent; 11 12 import java.awt.event.ActionListener; 12 13 import java.util.ArrayList; … … 21 22 import javax.swing.JColorChooser; 22 23 import javax.swing.JLabel; 23 24 import javax.swing.JOptionPane; 25 import javax.swing.JPanel; 24 26 import javax.swing.JScrollPane; 25 27 import javax.swing.JTable; 26 28 import javax.swing.ListSelectionModel; 27 29 import javax.swing.table.DefaultTableModel; 28 30 import javax.swing.table.TableCellRenderer; 31 import javax.swing.BorderFactory; 32 import javax.swing.Box; 29 33 30 34 import org.openstreetmap.josm.Main; 31 35 import org.openstreetmap.josm.data.osm.visitor.SimplePaintVisitor; … … 134 138 }); 135 139 colors.setToolTipText(tr("Colors used by different objects in JOSM.")); 136 140 colors.setPreferredScrollableViewportSize(new Dimension(100,112)); 137 gui.display.add(new JLabel(tr("Colors")), GBC.eol()); 138 gui.display.add(new JScrollPane(colors), GBC.eol().fill(GBC.BOTH)); 139 gui.display.add(colorEdit, GBC.eol().anchor(GBC.EAST)); 141 142 JPanel panel = new JPanel(new GridBagLayout()); 143 panel.setBorder(BorderFactory.createEmptyBorder(5,5,5,5)); 144 // panel.add(new JLabel(tr("Colors")), GBC.eol()); 145 JScrollPane scrollpane = new JScrollPane(colors); 146 scrollpane.setBorder(BorderFactory.createEmptyBorder( 0, 0, 0, 0 )); 147 panel.add(scrollpane, GBC.eol().fill(GBC.BOTH)); 148 panel.add(colorEdit, GBC.eol().anchor(GBC.EAST)); 149 gui.displaycontent.addTab(tr("Colors"), panel); 140 150 } 141 151 142 152 /**