diff --git a/src/org/openstreetmap/josm/gui/preferences/display/ColorPreference.java b/src/org/openstreetmap/josm/gui/preferences/display/ColorPreference.java
index bd1af73..2dbce1a 100644
|
a
|
b
|
import java.awt.Dimension;
|
| 9 | 9 | import java.awt.GridBagLayout; |
| 10 | 10 | import java.awt.event.ActionEvent; |
| 11 | 11 | import java.awt.event.ActionListener; |
| | 12 | import java.awt.event.MouseAdapter; |
| | 13 | import java.awt.event.MouseEvent; |
| 12 | 14 | import java.util.ArrayList; |
| 13 | 15 | import java.util.HashMap; |
| 14 | 16 | import java.util.List; |
| … |
… |
public class ColorPreference implements SubPreferenceSetting {
|
| 220 | 222 | defaultSet.setEnabled(sel >= 0); |
| 221 | 223 | } |
| 222 | 224 | }; |
| | 225 | colors.addMouseListener(new MouseAdapter() { |
| | 226 | @Override |
| | 227 | public void mousePressed(MouseEvent me) { |
| | 228 | if (me.getClickCount() == 2) { |
| | 229 | colorEdit.doClick(); |
| | 230 | } |
| | 231 | } |
| | 232 | }); |
| 223 | 233 | colors.setSelectionMode(ListSelectionModel.SINGLE_SELECTION); |
| 224 | 234 | final TableCellRenderer oldColorsRenderer = colors.getDefaultRenderer(Object.class); |
| 225 | 235 | colors.setDefaultRenderer(Object.class, new TableCellRenderer() { |