📄 signal.java
字号:
package gnu.jemacs.buffer;public class Signal extends RuntimeException{ String name; Object data; public Signal(String name, Object data) { this.name = name; this.data = data; } public static void signal(String name, Object data) { throw new Signal(name, data); } public static void signal(String name) { throw new Signal(name, null); } public static void error(Object data) { throw new Signal("error", data); } public static void message(String msg) { System.err.println(msg); } public String toString() { if (data == null) return name; else return name+": "+data; } public static void checkQuit() { if (Thread.interrupted()) throw new gnu.mapping.WrappedException(new InterruptedException()); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -