/plugins/XSearch/trunk/xsearch/XSearchOptionPane.java

# · Java · 121 lines · 66 code · 30 blank · 25 comment · 0 complexity · 79b60cd4400c97000e306afe8a28b888 MD5 · raw file

  1. /*
  2. * XSearchOptionPane.java - plugin options pane for BufferList
  3. * Copyright (c) 2000,2001 Dirk Moebius
  4. *
  5. * :tabSize=2:indentSize=2:noTabs=false:maxLineLen=0:
  6. *
  7. * This program is free software; you can redistribute it and/or
  8. * modify it under the terms of the GNU General Public License
  9. * as published by the Free Software Foundation; either version 2
  10. * of the License, or any later version.
  11. *
  12. * This program is distributed in the hope that it will be useful,
  13. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  15. * GNU General Public License for more details.
  16. *
  17. * You should have received a copy of the GNU General Public License
  18. * along with this program; if not, write to the Free Software
  19. * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  20. */
  21. package xsearch;
  22. import java.awt.GridLayout;
  23. import javax.swing.JCheckBox;
  24. import javax.swing.JPanel;
  25. import javax.swing.border.TitledBorder;
  26. import org.gjt.sp.jedit.AbstractOptionPane;
  27. import org.gjt.sp.jedit.jEdit;
  28. /**
  29. * This is the option pane that jEdit displays for XSearch's options.
  30. */
  31. public class XSearchOptionPane extends AbstractOptionPane
  32. // implements ActionListener
  33. {
  34. private JCheckBox replaceBuiltInActions;
  35. private JCheckBox findAllButton;
  36. private JCheckBox resetButton;
  37. private JCheckBox hyperReplace;
  38. private JCheckBox replaceCaseSensitiv;
  39. private JCheckBox textAreaFont;
  40. private JCheckBox tabbedLayout;
  41. public XSearchOptionPane()
  42. {
  43. super("xsearch");
  44. }
  45. public void _init()
  46. {
  47. //this.setLayout(new BoxLayout(this, BoxLayout.Y_AXIS));
  48. replaceBuiltInActions = new JCheckBox(jEdit.getProperty("xsearch.options.replaceBuiltInActions"),
  49. ReplaceActions.isEnabled());
  50. replaceBuiltInActions.setToolTipText(jEdit.getProperty("xsearch.options.tooltip.replaceBuiltInActions"));
  51. findAllButton = new JCheckBox(jEdit.getProperty("xsearch.options.findAllButton"),
  52. jEdit.getBooleanProperty("xsearch.findAllButton", true));
  53. findAllButton.setToolTipText(jEdit.getProperty("xsearch.options.tooltip.findAllButton"));
  54. resetButton = new JCheckBox(jEdit.getProperty("xsearch.options.resetButton"),
  55. jEdit.getBooleanProperty("xsearch.resetButton", true));
  56. resetButton.setToolTipText(jEdit.getProperty("xsearch.options.tooltip.resetButton"));
  57. hyperReplace = new JCheckBox(jEdit.getProperty("xsearch.options.hyperReplace"),
  58. jEdit.getBooleanProperty("xsearch.hyperReplace", true));
  59. hyperReplace.setToolTipText(jEdit.getProperty("xsearch.options.tooltip.hyperReplace"));
  60. tabbedLayout= new JCheckBox(jEdit.getProperty("xsearch.options.tabbedLayout"),
  61. jEdit.getBooleanProperty("xsearch.tabbedLayout", true));
  62. tabbedLayout.setToolTipText(jEdit.getProperty("xsearch.options.tooltip.tabbedLayout"));
  63. replaceCaseSensitiv = new JCheckBox(jEdit.getProperty("xsearch.options.replaceCaseSensitiv"),
  64. jEdit.getBooleanProperty("xsearch.replaceCaseSensitiv", true));
  65. replaceCaseSensitiv.setToolTipText(jEdit.getProperty("xsearch.options.tooltip.replaceCaseSensitiv"));
  66. textAreaFont = new JCheckBox(jEdit.getProperty("xsearch.options.textAreaFont"),
  67. jEdit.getBooleanProperty("xsearch.textAreaFont", true));
  68. textAreaFont.setToolTipText(jEdit.getProperty("xsearch.options.tooltip.textAreaFont"));
  69. addComponent(tabbedLayout);
  70. addComponent(replaceBuiltInActions);
  71. addComponent(hyperReplace);
  72. addComponent(replaceCaseSensitiv);
  73. addComponent(textAreaFont);
  74. JPanel bpanel = new JPanel();
  75. bpanel.setBorder(new TitledBorder(jEdit.getProperty("xsearch.options.buttonLabel")));
  76. bpanel.setLayout(new GridLayout(0,2));
  77. bpanel.add(findAllButton);
  78. bpanel.add(resetButton);
  79. addComponent(bpanel);
  80. }
  81. public void _save() {
  82. ReplaceActions.setEnabled(replaceBuiltInActions.isSelected());
  83. ReplaceActions.reset();
  84. jEdit.setBooleanProperty("xsearch.findAllButton", findAllButton.isSelected());
  85. jEdit.setBooleanProperty("xsearch.resetButton", resetButton.isSelected());
  86. jEdit.setBooleanProperty("xsearch.hyperReplace", hyperReplace.isSelected());
  87. jEdit.setBooleanProperty("xsearch.replaceCaseSensitiv", replaceCaseSensitiv.isSelected());
  88. jEdit.setBooleanProperty("xsearch.textAreaFont", textAreaFont.isSelected());
  89. jEdit.setBooleanProperty("xsearch.tabbedLayout", tabbedLayout.isSelected());
  90. }
  91. }