99100101102103104105106107108109
} if (font != null) { label.setFont(font); } label.addDisposeListener(new DisposeListener() { public void widgetDisposed(DisposeEvent e) { image.dispose(); ima = null; }