/jEdit/tags/jedit-4-0-pre5/org/gjt/sp/jedit/options/BrowserOptionPane.java
Java | 167 lines | 113 code | 16 blank | 38 comment | 7 complexity | a91c1b7f6ed590c4ee4e6c4e90ef857a 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
- /*
- * 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.table.*;
- import javax.swing.*;
- import java.awt.*;
- import java.util.Vector;
- import org.gjt.sp.jedit.*;
- //}}}
- 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.buffer"),
- jEdit.getProperty("options.browser.general.defaultPath.home"),
- jEdit.getProperty("options.browser.general.defaultPath.favorites"),
- jEdit.getProperty("options.browser.general.defaultPath.last")
- };
- defaultDirectory = new JComboBox(dirs);
- String defaultDir = jEdit.getProperty("vfs.browser.defaultPath");
- if("buffer".equals(defaultDir))
- defaultDirectory.setSelectedIndex(0);
- else if("home".equals(defaultDir))
- defaultDirectory.setSelectedIndex(1);
- else if("favorites".equals(defaultDir))
- defaultDirectory.setSelectedIndex(2);
- else if("last".equals(defaultDir))
- defaultDirectory.setSelectedIndex(3);
- 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 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);
- /* Sort file list */
- sortFiles = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.sortFiles"));
- sortFiles.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".sortFiles"));
- addComponent(sortFiles);
- /* 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);
- /* Base filter in open/save dialogs on current buffer name */
- currentBufferFilter = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.currentBufferFilter"));
- currentBufferFilter.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".currentBufferFilter"));
- addComponent(currentBufferFilter);
- /* split VFSFileDialog horizontally */
- splitHorizontally = new JCheckBox(jEdit.getProperty("options.browser"
- + ".general.splitHorizontally"));
- splitHorizontally.setSelected(jEdit.getBooleanProperty("vfs.browser"
- + ".splitHorizontally"));
- addComponent(splitHorizontally);
- } //}}}
- //{{{ _save() method
- public void _save()
- {
- String[] dirs = { "buffer", "home", "favorites", "last" };
- jEdit.setProperty("vfs.browser.defaultPath",dirs[defaultDirectory
- .getSelectedIndex()]);
- jEdit.setBooleanProperty("vfs.browser.showToolbar",
- showToolbar.isSelected());
- jEdit.setBooleanProperty("vfs.browser.showIcons",
- showIcons.isSelected());
- jEdit.setBooleanProperty("vfs.browser.showHiddenFiles",
- showHiddenFiles.isSelected());
- jEdit.setBooleanProperty("vfs.browser.sortFiles",
- sortFiles.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());
- jEdit.setBooleanProperty("vfs.browser.splitHorizontally",
- splitHorizontally.isSelected());
- } //}}}
- //{{{ Private members
- private JComboBox defaultDirectory;
- private JCheckBox showToolbar;
- private JCheckBox showIcons;
- private JCheckBox showHiddenFiles;
- private JCheckBox sortFiles;
- private JCheckBox sortIgnoreCase;
- private JCheckBox sortMixFilesAndDirs;
- private JCheckBox doubleClickClose;
- private JCheckBox currentBufferFilter;
- private JCheckBox splitHorizontally;
- //}}}
- }