private HistoryPopupMenu() {
super("History");
detailsMI = add(MenuFactory.getInstance().getMenuAction(new Integer(186)));
detailsMI.setFont(Utilities.MENU_FONT);
detailsMI.setForeground(Color.black);
undoMI = add(MenuFactory.getInstance().getMenuAction(new Integer(187)));
undoMI.setFont(Utilities.MENU_FONT);
undoMI.setForeground(Color.black);
FontEngine.getInstance().addPropertyChangeListener(this);
}
public void propertyChange(PropertyChangeEvent event) {
if (event.getSource() == FontEngine.getInstance() && event.getPropertyName().equals("menuFont"))
updateFonts((Font) event.getNewValue());
}