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