⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 editaction.java

📁 用java 编写的源码开放的文本编辑器。有很多有用的特性
💻 JAVA
字号:
/* * EditAction.java - jEdit action listener * :tabSize=8:indentSize=8:noTabs=false: * :folding=explicit:collapseFolds=1: * * Copyright (C) 1998, 1999, 2000, 2001, 2002 Slava Pestov * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA. */package org.gjt.sp.jedit;//{{{ Importsimport java.awt.event.ActionEvent;import java.awt.event.ActionListener;import java.awt.Component;//}}}/** * An action.<p> * * Instead of subclassing EditAction directly, you should now write an * <code>actions.xml</code> file. * * @see jEdit#getAction(String) * @see jEdit#getActions() * @see ActionSet * * @author Slava Pestov * @version $Id: EditAction.java,v 1.16 2003/02/11 02:31:05 spestov Exp $ */public abstract class EditAction{	//{{{ EditAction constructor	/**	 * Creates a new edit action with the specified name.	 * @param name The action name	 */	public EditAction(String name)	{		this.name = name;	} //}}}	//{{{ getName() method	/**	 * Returns the internal name of this action.	 */	public String getName()	{		return name;	} //}}}	//{{{ getLabel() method	/**	 * Returns the action's label. The default implementation returns the	 * value of the property named by {@link #getName()} suffixed	 * with <code>.label</code>.	 */	public String getLabel()	{		return jEdit.getProperty(name + ".label");	} //}}}	//{{{ getMouseOverText() method	/**	 * Returns the text that should be shown when the mouse is placed over	 * this action's menu item or tool bar button. Currently only used by	 * the macro system.	 * @since jEdit 4.0pre5	 */	public String getMouseOverText()	{		return null;	} //}}}	//{{{ invoke() method	/**	 * Invokes the action.	 * @param view The view	 * @since jEdit 2.7pre2	 */	public abstract void invoke(View view);	//}}}	//{{{ getView() method	/**	 * @deprecated Call <code>GUIUtilities.getView()</code> instead.	 */	public static View getView(Component comp)	{		// moved to GUIUtilities as it makes no sense being here.		return GUIUtilities.getView(comp);	} //}}}	//{{{ isToggle() method	/**	 * Returns if this edit action should be displayed as a check box	 * in menus.	 * @since jEdit 2.2pre4	 */	public boolean isToggle()	{		return false;	} //}}}	//{{{ isSelected() method	/**	 * If this edit action is a toggle, returns if it is selected or not.	 * @param view The view	 * @since jEdit 3.2pre5	 */	public boolean isSelected(View view)	{		return false;	} //}}}	//{{{ noRepeat() method	/**	 * Returns if this edit action should not be repeated. Returns false	 * by default.	 * @since jEdit 2.7pre2	 */	public boolean noRepeat()	{		return false;	} //}}}	//{{{ noRecord() method	/**	 * Returns if this edit action should not be recorded. Returns false	 * by default.	 * @since jEdit 2.7pre2	 */	public boolean noRecord()	{		return false;	} //}}}	//{{{ getCode() method	/**	 * Returns the BeanShell code that will replay this action.	 * @since jEdit 2.7pre2	 */	public abstract String getCode();	//}}}	//{{{ toString() method	public String toString()	{		return name;	} //}}}	//{{{ Private members	private String name;	//}}}	//{{{ Wrapper class	/**	 * 'Wrap' EditActions in this class to turn them into AWT	 * ActionListeners, that can be attached to buttons, menu items, etc.	 */	public static class Wrapper implements ActionListener	{		public Wrapper(EditAction action)		{			this.action = action;		}		/**		 * Called when the user selects this action from a menu.		 * It passes the action through the		 * {@link org.gjt.sp.jedit.gui.InputHandler#invokeAction(EditAction)}		 * method, which performs any recording or repeating.		 *		 * @param evt The action event		 */		public void actionPerformed(ActionEvent evt)		{			jEdit.getActiveView().getInputHandler().invokeAction(action);		}		private EditAction action;	} //}}}}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -