PageRenderTime 47ms CodeModel.GetById 21ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-1-pre5/bsh/commands/editor.bsh

#
Unknown | 44 lines | 36 code | 8 blank | 0 comment | 0 complexity | 9c308cb19a57207a591221cc2b0b8699 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. /**
  2. Open a workspace editor.
  3. */
  4. bsh.help.editor = "usage: editor()";
  5. import java.awt.*;
  6. editor() {
  7. if ( bsh.system.desktop != void ) {
  8. return workspaceEditor( this.interpreter );
  9. }
  10. ta = new TextArea(15,40);
  11. frame = new Frame("Editor");
  12. frame.add(ta, "Center");
  13. p = new Panel();
  14. b = new Button("Eval");
  15. b.addActionListener(this);
  16. p.add(b);
  17. b = new Button("Clear");
  18. b.addActionListener(this);
  19. p.add(b);
  20. b = new Button("Close");
  21. b.addActionListener(this);
  22. p.add(b);
  23. frame.add(p, "South");
  24. frame.pack();
  25. frame.show();
  26. actionPerformed(e) {
  27. if ( e.getActionCommand().equals("Close") )
  28. frame.dispose();
  29. else if ( e.getActionCommand().equals("Clear") )
  30. ta.setText("");
  31. else
  32. this.interpreter.eval( ta.getText() );
  33. }
  34. print("Editor started...");
  35. return frame;
  36. }