📄 tool.java
字号:
// **********************************************************************// // <copyright>// // BBN Technologies// 10 Moulton Street// Cambridge, MA 02138// (617) 873-8000// // Copyright (C) BBNT Solutions LLC. All rights reserved.// // </copyright>// **********************************************************************// // $Source: /cvs/distapps/openmap/src/openmap/com/bbn/openmap/gui/Tool.java,v $// $RCSfile: Tool.java,v $// $Revision: 1.3.2.1 $// $Date: 2004/10/14 18:26:54 $// $Author: dietrick $// // **********************************************************************package com.bbn.openmap.gui;import java.awt.*;/** * Represents an item on the ToolPanel. If the Tool is a * PropertyConsumer and a property prefix is used, the prefix should * be used as the key as it is supposed to be unique and can be used * as a known discriminator. * * @author john gash contributed to this notion of a Tool. */public interface Tool { /** * The retrieval tool's interface. This is added to the tool bar. * * @return String The key for this tool. */ public Container getFace(); /** * The retrieval key for this tool. * * @return String The key for this tool. */ public String getKey(); /** * Set the retrieval key for this tool. * * @param aKey The key for this tool. */ public void setKey(String aKey);}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -