📄 editor.bsh
字号:
/** Open a workspace editor.*/bsh.help.editor = "usage: editor()";import java.awt.*;editor() { if ( bsh.system.desktop != void ) { return workspaceEditor( this.interpreter ); } ta = new TextArea(15,40); frame = new Frame("Editor"); frame.add(ta, "Center"); p = new Panel(); b = new Button("Eval"); b.addActionListener(this); p.add(b); b = new Button("Clear"); b.addActionListener(this); p.add(b); b = new Button("Close"); b.addActionListener(this); p.add(b); frame.add(p, "South"); frame.pack(); frame.show(); actionPerformed(e) { if ( e.getActionCommand().equals("Close") ) frame.dispose(); else if ( e.getActionCommand().equals("Clear") ) ta.setText(""); else this.interpreter.eval( ta.getText() ); } print("Editor started..."); return frame;}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -