Ticket #1607: ColorPreference.diff

File ColorPreference.diff, 1.8 KB (added by Henry Loenwind, 16 years ago)
  • src/org/openstreetmap/josm/gui/preferences/ColorPreference.java

     
    77import java.awt.Color;
    88import java.awt.Component;
    99import java.awt.Dimension;
     10import java.awt.GridBagLayout;
    1011import java.awt.event.ActionEvent;
    1112import java.awt.event.ActionListener;
    1213import java.util.ArrayList;
     
    2122import javax.swing.JColorChooser;
    2223import javax.swing.JLabel;
    2324import javax.swing.JOptionPane;
     25import javax.swing.JPanel;
    2426import javax.swing.JScrollPane;
    2527import javax.swing.JTable;
    2628import javax.swing.ListSelectionModel;
    2729import javax.swing.table.DefaultTableModel;
    2830import javax.swing.table.TableCellRenderer;
     31import javax.swing.BorderFactory;
     32import javax.swing.Box;
    2933
    3034import org.openstreetmap.josm.Main;
    3135import org.openstreetmap.josm.data.osm.visitor.SimplePaintVisitor;
     
    134138                });
    135139                colors.setToolTipText(tr("Colors used by different objects in JOSM."));
    136140                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);
    140150    }
    141151
    142152        /**