📄 nodemarkevent.java
字号:
package fileio.event;import fileio.event.Event;import util.Colour;import animation.VisualElement;import java.io.Reader;/** This class is associated with Nodemark events which mark a node to make it stand out. @author Alex Nikolic @version 1.0*/public class NodemarkEvent extends Event { String m_name; int m_address; Colour m_colour; Colour m_oldcolour; int m_shape; boolean m_expired; public void read(Reader reader) { } public VisualElement returnElement() { return null; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -