📄 events.java
字号:
// Events.java// $Id: Events.java,v 1.3 2000/08/16 21:37:53 ylafon Exp $ // (c) COPYRIGHT MIT and INRIA, 1997.// Please first read the full copyright statement in file COPYRIGHT.htmlpackage org.w3c.tools.resources.event;public class Events { /** * The Ids */ public static final int RESOURCE_EVENT = 1000; public static final int FRAME_EVENT = 2000; public static final int ATTRIBUTE_EVENT = 3000; /** * The source is modified. */ public static final int RESOURCE_MODIFIED = RESOURCE_EVENT + 1; /** * A new resource has been created. */ public static final int RESOURCE_CREATED = RESOURCE_EVENT + 2; /** * resource is about to be removed. */ public static final int RESOURCE_REMOVED = RESOURCE_EVENT + 3; /** * resource is about to be removed. */ public static final int RESOURCE_UNLOADED = RESOURCE_EVENT + 4; /** * The frame has just been added. */ public static final int FRAME_ADDED = FRAME_EVENT + 1; /** * The frame has been modified. */ public static final int FRAME_MODIFIED = FRAME_EVENT + 2; /** * The frame has been removed. */ public static final int FRAME_REMOVED = FRAME_EVENT + 3;}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -