001 // This file is part of the Attempto Java Packages. 002 // Copyright 2008-2009, Attempto Group, University of Zurich (see http://attempto.ifi.uzh.ch). 003 // 004 // The Attempto Java Packages is free software: you can redistribute it and/or modify it under the 005 // terms of the GNU Lesser General Public License as published by the Free Software Foundation, 006 // either version 3 of the License, or (at your option) any later version. 007 // 008 // The Attempto Java Packages is distributed in the hope that it will be useful, but WITHOUT ANY 009 // WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR 010 // PURPOSE. See the GNU Lesser General Public License for more details. 011 // 012 // You should have received a copy of the GNU Lesser General Public License along with the Attempto 013 // Java Packages. If not, see http://www.gnu.org/licenses/. 014 015 package ch.uzh.ifi.attempto.preditor; 016 017 import ch.uzh.ifi.attempto.echocomp.Style; 018 import nextapp.echo2.app.Extent; 019 import nextapp.echo2.app.Font; 020 import nextapp.echo2.app.event.ActionEvent; 021 import nextapp.echo2.app.event.ActionListener; 022 023 /** 024 * This abstract class represents a menu item that performs an action when the user clicks on it. 025 * 026 * @author Tobias Kuhn 027 */ 028 public abstract class SpecialMenuItem extends MenuItem implements ActionListener { 029 030 /** 031 * A new special menu item is initialized. 032 * 033 * @param text The text of the menu item. 034 */ 035 public SpecialMenuItem(String text) { 036 setText(text); 037 setActionCommand(text); 038 setFont(new Font(Style.fontTypeface, Font.ITALIC, new Extent(12))); 039 setForeground(Style.mediumForeground); 040 addActionListener(this); 041 } 042 043 /** 044 * The implementation of this abstract method defines the action that is done when the 045 * user clicks on the menu item. 046 */ 047 public abstract void action(); 048 049 public void actionPerformed(ActionEvent e) { 050 action(); 051 } 052 053 public void addActionListener(ActionListener actionListener) { 054 if (!(actionListener instanceof PreditorWindow)) { 055 super.addActionListener(actionListener); 056 } 057 } 058 059 public boolean equals(Object obj) { 060 if (obj instanceof SpecialMenuItem) { 061 return getText().equals(((SpecialMenuItem) obj).getText()); 062 } 063 return false; 064 } 065 066 }