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()); }