/* * BrowserOptionPane.java - Browser options panel * :tabSize=4:indentSize=4: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 /** * @author Slava Pestov * @version $Id$ */ 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<String>(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); /* use default icons. */ useDefaultIcons = new JCheckBox(jEdit.getProperty("options.browser.general.useDefaultIcons")); useDefaultIcons.setSelected(jEdit.getBooleanProperty("vfs.browser.useDefaultIcons")); addComponent(useDefaultIcons); } //}}} //{{{ _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()); jEdit.setBooleanProperty("vfs.browser.useDefaultIcons", useDefaultIcons.isSelected()); } //}}} //{{{ Private members private JComboBox<String> 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; private JCheckBox useDefaultIcons; //}}} } //}}}