📄 javaprompt.java
字号:
package org.codehaus.groovy.sandbox.ui;import java.io.BufferedReader;import java.io.IOException;import java.io.InputStreamReader;import java.io.InputStream;import java.io.PrintStream;/** * Pure Java prompt using just System.in. */public class JavaPrompt implements Prompt{ private String prompt; private BufferedReader input; private final PrintStream out; private final PrintStream err; public JavaPrompt(InputStream in, PrintStream out, PrintStream err) { this.out = out; this.err = err; this.input = new BufferedReader(new InputStreamReader(in)); } public JavaPrompt() { this(System.in, System.out, System.err); } public String readLine() throws IOException { out.print(prompt); out.flush(); return input.readLine(); } public String getPrompt() { return prompt; } public void setPrompt(String prompt) { this.prompt = prompt; } public void setCompleter(Completer completer) { // completer not supported } public void close() { try { input.close(); } catch (IOException e) { e.printStackTrace(err); } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -