public static void setFontStyle(Control ctrl, int style) {
Font font = UIUtil.setFontStyle(ctrl.getFont(), style);
ctrl.setFont(font);
ctrl.addDisposeListener(
new DisposeListenerWithData<Font>(font) {
public void widgetDisposed(DisposeEvent e) {
data().dispose();
}
});
}
