selEdgeColor = new Color(display, (c1.getRed() + c2.getRed() * 3) / 4,
(c1.getGreen() + c2.getGreen() * 3) / 4, (c1.getBlue() + c2.getBlue() * 3) / 4);
selFillColor = new Color(display, (c1.getRed() + c2.getRed() * 8) / 9,
(c1.getGreen() + c2.getGreen() * 8) / 9, (c1.getBlue() + c2.getBlue() * 8) / 9);
result.addDisposeListener(new DisposeListener() {
public void widgetDisposed(DisposeEvent event) {
if (boldFont != null && !boldFont.isDisposed()) {
boldFont.dispose();
}