/jEdit/tags/before-screen-line-refactoring/org/gjt/sp/jedit/options/BrowserOptionPane.java
# · Java · 158 lines · 105 code · 15 blank · 38 comment · 9 complexity · d5f91aa5fbfde2f1d3d35de973018703 MD5 · raw file
- /*
- * BrowserOptionPane.java - Browser options panel
- * :tabSize=8:indentSize=8:noTabs=false:
- * :folding=explicit:collapseFolds=1:
- *
- * Copyright (C) 2000, 2001 Slava Pestov
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
- */
- package org.gjt.sp.jedit.options;
- //{{{ Imports
- import javax.swing.*;
- import org.gjt.sp.jedit.*;
- //}}}
- //{{{ BrowserOptionPane class
- public class BrowserOptionPane extends AbstractOptionPane
- {
- //{{{ BrowserOptionPane constructor
- public BrowserOptionPane()
- {
- super("browser.general");
- } //}}}
- //{{{ _init() method
- public void _init()
- {
- /* Default directory */
- String[] dirs = {
- jEdit.getProperty("options.browser.general.defaultPath.favorites"),
- jEdit.getProperty("options.browser.general.defaultPath.home"),
- jEdit.getProperty("options.browser.general.defaultPath.last"),
- jEdit.getProperty("options.browser.general.defaultPath.buffer"),
- jEdit.getProperty("options.browser.general.defaultPath.working")
- };
- defaultDirectory = new JComboBox(dirs);
- String defaultDir = jEdit.getProperty("vfs.browser.defaultPath");
- if("favorites".equals(defaultDir))
- defaultDirectory.setSelectedIndex(0);
- else if("home".equals(defaultDir))
- defaultDirectory.setSelectedIndex(1);
- else if("last".equals(defaultDir))
- defaultDirectory.setSelectedIndex(2);
- else if("buffer".equals(defaultDir))
- defaultDirectory.setSelectedIndex(3);
- else if("working".equals(defaultDir))
- defaultDirectory.setSelectedIndex(4);
- addComponent(jEdit.getProperty("options.browser.general.defaultPath"),
- defaultDirectory);
- /* Show tool bar */
- showToolbar = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.showToolbar"));
- showToolbar.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".showToolbar"));
- addComponent(showToolbar);
- /* Show menu bar */
- showMenubar = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.showMenubar"));
- showMenubar.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".showMenubar"));
- addComponent(showMenubar);
- /* Show icons */
- showIcons = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.showIcons"));
- showIcons.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".showIcons"));
- addComponent(showIcons);
- /* Show hidden files */
- showHiddenFiles = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.showHiddenFiles"));
- showHiddenFiles.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".showHiddenFiles"));
- addComponent(showHiddenFiles);
- /* Ignore case when sorting */
- sortIgnoreCase = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.sortIgnoreCase"));
- sortIgnoreCase.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".sortIgnoreCase"));
- addComponent(sortIgnoreCase);
- /* Mix files and directories */
- sortMixFilesAndDirs = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.sortMixFilesAndDirs"));
- sortMixFilesAndDirs.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".sortMixFilesAndDirs"));
- addComponent(sortMixFilesAndDirs);
- /* Double-click close */
- doubleClickClose = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.doubleClickClose"));
- doubleClickClose.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".doubleClickClose"));
- addComponent(doubleClickClose);
- /* split VFSFileDialog horizontally */
- currentBufferFilter = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.currentBufferFilter"));
- currentBufferFilter.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".currentBufferFilter"));
- addComponent(currentBufferFilter);
- } //}}}
- //{{{ _save() method
- public void _save()
- {
- String[] dirs = { "favorites", "home", "last", "buffer", "working"};
- jEdit.setProperty("vfs.browser.defaultPath",dirs[defaultDirectory
- .getSelectedIndex()]);
- jEdit.setBooleanProperty("vfs.browser.showToolbar",
- showToolbar.isSelected());
- jEdit.setBooleanProperty("vfs.browser.showMenubar",
- showMenubar.isSelected());
- jEdit.setBooleanProperty("vfs.browser.showIcons",
- showIcons.isSelected());
- jEdit.setBooleanProperty("vfs.browser.showHiddenFiles",
- showHiddenFiles.isSelected());
- jEdit.setBooleanProperty("vfs.browser.sortIgnoreCase",
- sortIgnoreCase.isSelected());
- jEdit.setBooleanProperty("vfs.browser.sortMixFilesAndDirs",
- sortMixFilesAndDirs.isSelected());
- jEdit.setBooleanProperty("vfs.browser.doubleClickClose",
- doubleClickClose.isSelected());
- jEdit.setBooleanProperty("vfs.browser.currentBufferFilter",
- currentBufferFilter.isSelected());
- } //}}}
- //{{{ Private members
- private JComboBox defaultDirectory;
- private JCheckBox showToolbar;
- private JCheckBox showMenubar;
- private JCheckBox showIcons;
- private JCheckBox showHiddenFiles;
- private JCheckBox sortIgnoreCase;
- private JCheckBox sortMixFilesAndDirs;
- private JCheckBox doubleClickClose;
- private JCheckBox currentBufferFilter;
- //}}}
- } //}}}