}
};
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()));
increase_font.putValue(Action.MNEMONIC_KEY, new Integer(KeyEvent.VK_I));
reset_font = new FontSizeAction(root, FontSizeAction.RESET);
reset_font.putValue(Action.ACCELERATOR_KEY,
KeyStroke.getKeyStroke(KeyEvent.VK_0,
Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()));
reset_font.putValue(Action.MNEMONIC_KEY, new Integer(KeyEvent.VK_N));
decrease_font = new FontSizeAction(root, FontSizeAction.DECREMENT);
decrease_font.putValue(Action.ACCELERATOR_KEY,
KeyStroke.getKeyStroke(KeyEvent.VK_MINUS,
Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()));
decrease_font.putValue(Action.MNEMONIC_KEY, new Integer(KeyEvent.VK_D));