PageRenderTime 26ms CodeModel.GetById 0ms RepoModel.GetById 0ms app.codeStats 0ms

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

#
Unknown | 111 lines | 96 code | 15 blank | 0 comment | 0 complexity | 1a9fdd145dd1bfb76f8ca1de1a3db861 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. 

  2. 	Make a new workspaceEditor in the GUI.
    3. 

  3. 	@method workspaceEditor( bsh.Interpreter parent, String name )
    4. 

  4. */
    5. 

  5. import java.awt.Insets;
    6. 

  6. import bsh.Interpreter;
    7. 

  7. 

  8. workspaceEditor(Interpreter parent, String name ) {
    9. 

  9. 

  10. 	if ( bsh.system.desktop == void ) {
    11. 

  11. 		print("This only works with the bsh desktop...");
    12. 

  12. 		return;
    13. 

  13. 	}
    14. 

  14. 

  15. 	textarea = new JTextArea(15,40);
    16. 

  16. 	textarea.setLineWrap(true);
    17. 

  17. 	textarea.setWrapStyleWord(true);
    18. 

  18. 	textarea.setTabSize(4);
    19. 

  19. 	textarea.setMargin( new Insets(5,5,5,5) );
    20. 

  20. 

  21. 	// probably should overload desktop makeInternalFrame
    22. 

  22. 	frame = new JInternalFrame("Editor for: "+name, true, true, true, true );
    23. 

  23. 	frame.getContentPane().add( new JScrollPane(textarea), "Center");
    24. 

  24. 	frame.setVisible( true );
    25. 

  25. 

  26. 	open() {
    27. 

  27. 		chooser = new JFileChooser();
    28. 

  28. 		chooser.setCurrentDirectory( pathToFile(bsh.cwd) );
    29. 

  29. 		returnVal = chooser.showOpenDialog( bsh.system.desktop.pane );
    30. 

  30. 		if(returnVal == JFileChooser.APPROVE_OPTION) {
    31. 

  31. 			file = chooser.getSelectedFile();
    32. 

  32. 			reader=new FileReader( file );
    33. 

  33. 			ca=new char [file.length()];
    34. 

  34. 			reader.read(ca);
    35. 

  35. 			textarea.setText( new String(ca) );
    36. 

  36. 		}
    37. 

  37. 	}
    38. 

  38. 

  39. 	save() {
    40. 

  40. 		chooser = new JFileChooser();
    41. 

  41. 		chooser.setCurrentDirectory( pathToFile(bsh.cwd) );
    42. 

  42. 		returnVal = chooser.showSaveDialog( bsh.system.desktop.pane );
    43. 

  43. 		if(returnVal == JFileChooser.APPROVE_OPTION) {
    44. 

  44. 			file = chooser.getSelectedFile();
    45. 

  45. 			writer=new FileWriter( file );
    46. 

  46. 			writer.write( textarea.getText().toCharArray() );
    47. 

  47. 			writer.close();
    48. 

  48. 		}
    49. 

  49. 	}
    50. 

  50. 

  51. 	run() {
    52. 

  52. 		interpreter = makeWorkspace( "Run Output: " +name);
    53. 

  53. 		// should make this new namespace... look at run() command
    54. 

  54.     	interpreter.eval( textarea.getText() );
    55. 

  55. 		print("done run...");
    56. 

  56. 	}
    57. 

  57. 

  58. 	actionPerformed(e) {
    59. 

  59. 		com = e.getActionCommand();
    60. 

  60. 		if ( com.equals("Close") )
    61. 

  61. 			frame.dispose();
    62. 

  62. 		else if ( com.equals("New") )
    63. 

  63. 			textarea.setText("");
    64. 

  64. 		else if ( com.equals("Open") )
    65. 

  65. 			open();
    66. 

  66. 		else if ( com.equals("Save") )
    67. 

  67. 			save();
    68. 

  68. 		else if ( com.equals("Eval in Workspace") )
    69. 

  69. 			// eval in parent global namespace
    70. 

  70.     		parent.eval( textarea.getText() );
    71. 

  71. 		else if ( com.equals("Run in new Workspace") )
    72. 

  72. 			run();
    73. 

  73. 	}
    74. 

  74. 

  75. 	menubar = new JMenuBar();
    76. 

  76. 

  77. 	menu = new JMenu("File");
    78. 

  78. 	mi = new JMenuItem("New");
    79. 

  79. 	mi.addActionListener(this);
    80. 

  80. 	menu.add(mi);
    81. 

  81. 	mi = new JMenuItem("Open");
    82. 

  82. 	mi.addActionListener(this);
    83. 

  83. 	menu.add(mi);
    84. 

  84. 	mi = new JMenuItem("Save");
    85. 

  85. 	mi.addActionListener(this);
    86. 

  86. 	menu.add(mi);
    87. 

  87. 	mi = new JMenuItem("Close");
    88. 

  88. 	mi.addActionListener(this);
    89. 

  89. 	menu.add(mi);
    90. 

  90. 	menubar.add(menu);
    91. 

  91. 

  92. 	menu = new JMenu("Evaluate");
    93. 

  93. 	mi = new JMenuItem("Eval in Workspace");
    94. 

  94. 	mi.addActionListener(this);
    95. 

  95. 	menu.add(mi);
    96. 

  96. 	mi = new JMenuItem("Run in new Workspace");
    97. 

  97. 	mi.addActionListener(this);
    98. 

  98. 	menu.add(mi);
    99. 

  99. 	menubar.add(menu);
    100. 

  100. 

  101. 	menu = bsh.system.desktop.makeFontMenu( textarea );
    102. 

  102. 	menubar.add(menu);
    103. 

  103. 

  104. 	frame.setMenuBar( menubar );
    105. 

  105. 

  106. 	frame.pack();
    107. 

  107. 	bsh.system.desktop.pane.add( frame );
    108. 

  108. 	frame.toFront();
    109. 

  109. 	return frame;
    110. 

  110. }
    111. 

  111. 

  112.