Beispiel #1
0
 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);
 }
Beispiel #2
0
 public void propertyChange(PropertyChangeEvent event) {
   if (event.getSource() == FontEngine.getInstance() && event.getPropertyName().equals("menuFont"))
     updateFonts((Font) event.getNewValue());
 }