Uu.p(ex);
}
}
};
generate_diff = new GenerateDiffAction(root);
increase_font = new FontSizeAction(root, FontSizeAction.INCREMENT);
increase_font.putValue(Action.ACCELERATOR_KEY,
KeyStroke.getKeyStroke(KeyEvent.VK_PLUS,
Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()));