PageRenderTime 48ms CodeModel.GetById 24ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/org/gjt/sp/jedit/options/BrowserOptionPane.java

#
Java | 158 lines | 105 code | 15 blank | 38 comment | 9 complexity | d5f91aa5fbfde2f1d3d35de973018703 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. * BrowserOptionPane.java - Browser options panel
  3. * :tabSize=8:indentSize=8:noTabs=false:
  4. * :folding=explicit:collapseFolds=1:
  5. *
  6. * Copyright (C) 2000, 2001 Slava Pestov
  7. *
  8. * This program is free software; you can redistribute it and/or
  9. * modify it under the terms of the GNU General Public License
  10. * as published by the Free Software Foundation; either version 2
  11. * of the License, or any later version.
  12. *
  13. * This program is distributed in the hope that it will be useful,
  14. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  15. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  16. * GNU General Public License for more details.
  17. *
  18. * You should have received a copy of the GNU General Public License
  19. * along with this program; if not, write to the Free Software
  20. * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  21. */
  22. package org.gjt.sp.jedit.options;
  23. //{{{ Imports
  24. import javax.swing.*;
  25. import org.gjt.sp.jedit.*;
  26. //}}}
  27. //{{{ BrowserOptionPane class
  28. public class BrowserOptionPane extends AbstractOptionPane
  29. {
  30. //{{{ BrowserOptionPane constructor
  31. public BrowserOptionPane()
  32. {
  33. super("browser.general");
  34. } //}}}
  35. //{{{ _init() method
  36. public void _init()
  37. {
  38. /* Default directory */
  39. String[] dirs = {
  40. jEdit.getProperty("options.browser.general.defaultPath.favorites"),
  41. jEdit.getProperty("options.browser.general.defaultPath.home"),
  42. jEdit.getProperty("options.browser.general.defaultPath.last"),
  43. jEdit.getProperty("options.browser.general.defaultPath.buffer"),
  44. jEdit.getProperty("options.browser.general.defaultPath.working")
  45. };
  46. defaultDirectory = new JComboBox(dirs);
  47. String defaultDir = jEdit.getProperty("vfs.browser.defaultPath");
  48. if("favorites".equals(defaultDir))
  49. defaultDirectory.setSelectedIndex(0);
  50. else if("home".equals(defaultDir))
  51. defaultDirectory.setSelectedIndex(1);
  52. else if("last".equals(defaultDir))
  53. defaultDirectory.setSelectedIndex(2);
  54. else if("buffer".equals(defaultDir))
  55. defaultDirectory.setSelectedIndex(3);
  56. else if("working".equals(defaultDir))
  57. defaultDirectory.setSelectedIndex(4);
  58. addComponent(jEdit.getProperty("options.browser.general.defaultPath"),
  59. defaultDirectory);
  60. /* Show tool bar */
  61. showToolbar = new JCheckBox(jEdit.getProperty("options.browser"
  62. + ".general.showToolbar"));
  63. showToolbar.setSelected(jEdit.getBooleanProperty("vfs.browser"
  64. + ".showToolbar"));
  65. addComponent(showToolbar);
  66. /* Show menu bar */
  67. showMenubar = new JCheckBox(jEdit.getProperty("options.browser"
  68. + ".general.showMenubar"));
  69. showMenubar.setSelected(jEdit.getBooleanProperty("vfs.browser"
  70. + ".showMenubar"));
  71. addComponent(showMenubar);
  72. /* Show icons */
  73. showIcons = new JCheckBox(jEdit.getProperty("options.browser"
  74. + ".general.showIcons"));
  75. showIcons.setSelected(jEdit.getBooleanProperty("vfs.browser"
  76. + ".showIcons"));
  77. addComponent(showIcons);
  78. /* Show hidden files */
  79. showHiddenFiles = new JCheckBox(jEdit.getProperty("options.browser"
  80. + ".general.showHiddenFiles"));
  81. showHiddenFiles.setSelected(jEdit.getBooleanProperty("vfs.browser"
  82. + ".showHiddenFiles"));
  83. addComponent(showHiddenFiles);
  84. /* Ignore case when sorting */
  85. sortIgnoreCase = new JCheckBox(jEdit.getProperty("options.browser"
  86. + ".general.sortIgnoreCase"));
  87. sortIgnoreCase.setSelected(jEdit.getBooleanProperty("vfs.browser"
  88. + ".sortIgnoreCase"));
  89. addComponent(sortIgnoreCase);
  90. /* Mix files and directories */
  91. sortMixFilesAndDirs = new JCheckBox(jEdit.getProperty("options.browser"
  92. + ".general.sortMixFilesAndDirs"));
  93. sortMixFilesAndDirs.setSelected(jEdit.getBooleanProperty("vfs.browser"
  94. + ".sortMixFilesAndDirs"));
  95. addComponent(sortMixFilesAndDirs);
  96. /* Double-click close */
  97. doubleClickClose = new JCheckBox(jEdit.getProperty("options.browser"
  98. + ".general.doubleClickClose"));
  99. doubleClickClose.setSelected(jEdit.getBooleanProperty("vfs.browser"
  100. + ".doubleClickClose"));
  101. addComponent(doubleClickClose);
  102. /* split VFSFileDialog horizontally */
  103. currentBufferFilter = new JCheckBox(jEdit.getProperty("options.browser"
  104. + ".general.currentBufferFilter"));
  105. currentBufferFilter.setSelected(jEdit.getBooleanProperty("vfs.browser"
  106. + ".currentBufferFilter"));
  107. addComponent(currentBufferFilter);
  108. } //}}}
  109. //{{{ _save() method
  110. public void _save()
  111. {
  112. String[] dirs = { "favorites", "home", "last", "buffer", "working"};
  113. jEdit.setProperty("vfs.browser.defaultPath",dirs[defaultDirectory
  114. .getSelectedIndex()]);
  115. jEdit.setBooleanProperty("vfs.browser.showToolbar",
  116. showToolbar.isSelected());
  117. jEdit.setBooleanProperty("vfs.browser.showMenubar",
  118. showMenubar.isSelected());
  119. jEdit.setBooleanProperty("vfs.browser.showIcons",
  120. showIcons.isSelected());
  121. jEdit.setBooleanProperty("vfs.browser.showHiddenFiles",
  122. showHiddenFiles.isSelected());
  123. jEdit.setBooleanProperty("vfs.browser.sortIgnoreCase",
  124. sortIgnoreCase.isSelected());
  125. jEdit.setBooleanProperty("vfs.browser.sortMixFilesAndDirs",
  126. sortMixFilesAndDirs.isSelected());
  127. jEdit.setBooleanProperty("vfs.browser.doubleClickClose",
  128. doubleClickClose.isSelected());
  129. jEdit.setBooleanProperty("vfs.browser.currentBufferFilter",
  130. currentBufferFilter.isSelected());
  131. } //}}}
  132. //{{{ Private members
  133. private JComboBox defaultDirectory;
  134. private JCheckBox showToolbar;
  135. private JCheckBox showMenubar;
  136. private JCheckBox showIcons;
  137. private JCheckBox showHiddenFiles;
  138. private JCheckBox sortIgnoreCase;
  139. private JCheckBox sortMixFilesAndDirs;
  140. private JCheckBox doubleClickClose;
  141. private JCheckBox currentBufferFilter;
  142. //}}}
  143. } //}}}