showMouseSelectionBox.setSelected(false);
final JButton hBoxButton = new JButton(Messages.getMessage("PdfPreferences.ChangeHighlightColor"));
hBoxButton.addActionListener(new ActionListener(){
public void actionPerformed(ActionEvent e) {
JColorChooser cc = new JColorChooser(currentBox);
Color c = cc.showDialog(null, "Highlight Color", currentBox);
highlightBoxColor.setBackground(c);
}
});
final JButton hTextButton = new JButton(Messages.getMessage("PdfPreferences.ChangeHighlightTextColor"));
hTextButton.addActionListener(new ActionListener(){
public void actionPerformed(ActionEvent e) {
JColorChooser cc = new JColorChooser(currentText);
Color c = cc.showDialog(null, "Highlighted Text Color", currentText);
highlightTextColor.setBackground(c);
}
});
final JLabel hCompLabel = new JLabel(Messages.getMessage("PdfPreferences.ChangeHighlightTransparency"));