addMouseListener(resizeListener);
addMouseMoveListener(resizeListener);
topTexture.addMouseListener(resizeListener);
topTexture.addMouseMoveListener(resizeListener);
bottomTexture.addMouseListener(resizeListener);
bottomTexture.addMouseMoveListener(resizeListener);
addPaintListener(new PaintListener() {
public void paintControl(PaintEvent e) {
e.gc.setForeground(CommonUIPlugin.getDefault().getColorRegistry().get(IDetailsColors.COLOR_DARK_SHADOW));
e.gc.drawLine(0, 0, 0, getBounds().height);