PageRenderTime 45ms CodeModel.GetById 23ms RepoModel.GetById 0ms app.codeStats 0ms

/bundles/plugins-trunk/Console/console/options/SystemOptionPane.java

#
Java | 106 lines | 80 code | 20 blank | 6 comment | 0 complexity | 7df22d9a6888c5f469c2fb71205f8dec 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. package console.options;
    2. 

  2. 

  3. import javax.swing.JCheckBox;
    4. 

  4. import javax.swing.JComboBox;
    5. 

  5. import javax.swing.JSeparator;
    6. 

  6. import javax.swing.JTextField;
    7. 

  7. import javax.swing.SwingConstants;
    8. 

  8. 

  9. import org.gjt.sp.jedit.AbstractOptionPane;
    10. 

  10. import org.gjt.sp.jedit.jEdit;
    11. 

  11. 

  12. import console.gui.Label;
    13. 

  13. 

  14. /** Console options pertaining to the System shell */
    15. 

  15. public class SystemOptionPane extends AbstractOptionPane
    16. 

  16. {
    17. 

  17. 	private JComboBox prefix;
    18. 

  18. 	private JCheckBox clearBeforeExecute;
    19. 

  19. 	private JCheckBox rememberCWD;
    20. 

  20. 	private JCheckBox nodeselect;
    21. 

  21. 	private JCheckBox mergeError;
    22. 

  22. 	private JCheckBox showExitStatus;
    23. 

  23. //	private JCheckBox pvselect;
    24. 

  24. 	private JCheckBox pvchange;
    25. 

  25. 	private JTextField pathDirs ;
    26. 

  26. 	private JCheckBox pathDirsAppend;
    27. 

  27. 	
    28. 

  28. 

  29. 	public SystemOptionPane()
    30. 

  30. 	{
    31. 

  31. 		super("console.system");
    32. 

  32. 	}
    33. 

  33. 	protected void _init()
    34. 

  34. 	{
    35. 

  35. 

  36. 		prefix = new JComboBox();
    37. 

  37. 		prefix.setEditable(true);
    38. 

  38. 		
    39. 

  39. 		prefix.addItem(jEdit.getProperty("console.shell.prefix", "osdefault"));
    40. 

  40. 		prefix.addItem("osdefault");
    41. 

  41. 		prefix.addItem("none");
    42. 

  42. 		prefix.addItem(jEdit.getProperty("console.shell.prefix.bash"));
    43. 

  43. 		prefix.addItem(jEdit.getProperty("console.shell.prefix.cmd"));
    44. 

  44. 		prefix.addItem(jEdit.getProperty("console.shell.prefix.tcsh"));		
    45. 

  45. 		prefix.addItem(jEdit.getProperty("console.shell.prefix.command"));
    46. 

  46. 		Label prefixLabel = new Label("options.console.general.shellprefix");
    47. 

  47. 		addComponent(prefixLabel, prefix);
    48. 

  48. 		
    49. 

  49. 		Label pathLabel = new Label("options.console.general.pathdirs");
    50. 

  50. 		pathDirs = new JTextField(jEdit.getProperty("console.shell.pathdirs"));
    51. 

  51. 		addComponent(pathLabel, pathDirs);
    52. 

  52. 

  53. 		pathDirsAppend = new JCheckBox(jEdit.getProperty("options.console.general.pathdirs.append"));
    54. 

  54. 		pathDirsAppend.setSelected(jEdit.getBooleanProperty("console.shell.pathdirs.append"));
    55. 

  55. 		addComponent(pathDirsAppend);
    56. 

  56. 		
    57. 

  57. 		rememberCWD = new JCheckBox(jEdit.getProperty("options.console.general.rememberCWD"));
    58. 

  58. 		rememberCWD.setSelected(jEdit.getBooleanProperty("console.rememberCWD"));
    59. 

  59. 		addComponent(rememberCWD);	
    60. 

  60. 

  61. 		clearBeforeExecute = new JCheckBox(jEdit.getProperty("options.console.system.clearBeforeExecute"));
    62. 

  62. 		clearBeforeExecute.setSelected(jEdit.getBooleanProperty("console.clearBeforeExecute"));
    63. 

  63. 		addComponent(clearBeforeExecute);	
    64. 

  64. 		
    65. 

  65. 		showExitStatus = new JCheckBox();
    66. 

  66. 		showExitStatus.setText(jEdit.getProperty("options.console.general.showExitStatus"));
    67. 

  67. 		showExitStatus.setSelected(jEdit.getBooleanProperty("console.processrunner.showExitStatus", true));
    68. 

  68. 		addComponent(showExitStatus);
    69. 

  69. 

  70. 		
    71. 

  71. 		mergeError = new JCheckBox();
    72. 

  72. 		mergeError.setText(jEdit.getProperty("options.console.general.mergeError"));
    73. 

  73. 		mergeError.setToolTipText(jEdit.getProperty("options.console.general.mergeError.tooltip"));
    74. 

  74. 		mergeError.setSelected(jEdit.getBooleanProperty("console.processrunner.mergeError", true));
    75. 

  75. 		addComponent(mergeError);
    76. 

  76. 		
    77. 

  77. 		addComponent(new JSeparator(SwingConstants.HORIZONTAL));
    78. 

  78. 		addSeparator("options.console.general.changedir");
    79. 

  79. 		nodeselect = new JCheckBox(jEdit.getProperty("options.console.general.changedir.nodeselect"));
    80. 

  80. 		nodeselect.setSelected(jEdit.getBooleanProperty("console.changedir.nodeselect"));		
    81. 

  81. 		pvchange = new JCheckBox(jEdit.getProperty("options.console.general.changedir.pvchange"));
    82. 

  82. 		pvchange.setSelected(jEdit.getBooleanProperty("console.changedir.pvchange"));
    83. 

  83. //		pvselect = new JCheckBox(jEdit.getProperty("options.console.general.changedir.pvselect"));
    84. 

  84. //		pvselect.setSelected(jEdit.getBooleanProperty("console.changedir.pvpvselect"));		
    85. 

  85. 

  86. 		addComponent(nodeselect);
    87. 

  87. 		addComponent(pvchange);
    88. 

  88. //		addComponent(pvselect);
    89. 

  89. 		addComponent(new JSeparator(SwingConstants.HORIZONTAL));
    90. 

  90. 

  91. 		
    92. 

  92. 	}
    93. 

  93. 

  94. 	public void _save() {
    95. 

  95. 		jEdit.setBooleanProperty("console.changedir.pvchange", pvchange.isSelected());
    96. 

  96. //		jEdit.setBooleanProperty("console.changedir.pvselect", pvselect.isSelected());
    97. 

  97. 		jEdit.setBooleanProperty("console.changedir.nodeselect", nodeselect.isSelected());
    98. 

  98. 		jEdit.setBooleanProperty("console.clearBeforeExecute", clearBeforeExecute.isSelected());
    99. 

  99. 		jEdit.setBooleanProperty("console.rememberCWD", rememberCWD.isSelected());
    100. 

  100. 		jEdit.setBooleanProperty("console.processrunner.mergeError", mergeError.isSelected());
    101. 

  101. 		jEdit.setBooleanProperty("console.processrunner.showExitStatus", showExitStatus.isSelected());
    102. 

  102. 		jEdit.setProperty("console.shell.pathdirs", pathDirs.getText());
    103. 

  103. 		jEdit.setBooleanProperty("console.shell.pathdirs.append", pathDirsAppend.isSelected());
    104. 

  104. 		jEdit.setProperty("console.shell.prefix", prefix.getSelectedItem().toString());
    105. 

  105. 	}
    106. 

  106. }
    107. 

  107.