?? 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 + -