left, top + height, theme.getMenuShadowColor(), 64, theme
.getMenuShadowColor(), 0);
gc.setForegroundPattern(pattern);
gc.setBackgroundPattern(pattern);
gc.fillRectangle(new Rectangle(left, top, SHADOW_GAP, height));
pattern.dispose();
pattern = new Pattern(gc.getDevice(), left + width - SHADOW_GAP - 2, top
- SHADOW_GAP - 2, left + width, top + height, theme
.getMenuShadowColor(), 64, theme.getMenuShadowColor(), 0);
gc.setForegroundPattern(pattern);