📄 replmode.java
字号:
package gnu.jemacs.buffer;import gnu.mapping.*;import gnu.expr.Language;import java.io.*;import gnu.text.*;public class ReplMode extends ProcessMode{ BufferWriter processWriter; InPort in; OutPort out; OutPort err; Future thread; public ReplMode (Buffer buffer, Language language, Environment environment) throws java.io.IOException { lineMode = true; this.buffer = buffer; processMark = new Marker(buffer.pointMarker); processWriter = new BufferWriter(processMark, true); out = new OutPort(processWriter, true, true); err = new OutPort(processWriter, true, true); PipedReader preader = new PipedReader(); toInferior = new PipedWriter(preader); in = new TtyInPort(preader, Path.valueOf("/dev/stdin"), out); thread = new Future (new kawa.repl(language), environment, in, out, err); thread.setPriority(Thread.currentThread().getPriority() + 1); thread.start(); } public static void make (Buffer buffer, Object language) throws java.io.IOException { Language lang = language instanceof Language ? (Language) language : Language.getInstance(language.toString()); buffer.modes = new ReplMode (buffer, lang, Environment.getGlobal()); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -