📄 searchdialog.java
字号:
/* * SearchDialog.java - Search and replace dialog * Copyright (C) 1998, 1999, 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.search;import javax.swing.border.*;import javax.swing.event.*;import javax.swing.text.BadLocationException;import javax.swing.*;import java.awt.*;import java.awt.event.*;import java.io.File;import org.gjt.sp.jedit.gui.*;import org.gjt.sp.jedit.io.FileVFS;import org.gjt.sp.jedit.*;import org.gjt.sp.util.Log;/** * Search and replace dialog. * @author Slava Pestov * @version $Id: SearchDialog.java,v 1.1.1.1 2001/09/02 05:37:59 spestov Exp $ */public class SearchDialog extends EnhancedDialog{ /** * Default file set. * @since jEdit 3.2pre2 */ public static final int CURRENT_BUFFER = 0; public static final int ALL_BUFFERS = 1; public static final int DIRECTORY = 2; /** * Creates a new search and replace dialog box. * @param view The view * @param searchString The search string */ public SearchDialog(View view, String searchString) { this(view,searchString,CURRENT_BUFFER); } /** * Creates a new search and replace dialog box. * @param view The view * @param searchString The search string * @param searchIn One of CURRENT_BUFFER, ALL_BUFFERS, or DIRECTORY * @since jEdit 3.2pre2 */ public SearchDialog(View view, String searchString, int searchIn) { super(view,jEdit.getProperty("search.title"),false); this.view = view; JPanel content = new JPanel(new BorderLayout()); content.setBorder(new EmptyBorder(0,12,12,12)); setContentPane(content); JPanel centerPanel = new JPanel(new BorderLayout()); centerPanel.add(BorderLayout.NORTH,createFieldPanel()); centerPanel.add(BorderLayout.CENTER,createSearchSettingsPanel()); content.add(BorderLayout.CENTER,centerPanel); content.add(BorderLayout.SOUTH,createMultiFilePanel()); content.add(BorderLayout.EAST,createButtonsPanel()); if(searchString != null && searchString.indexOf('\n') == -1) { find.setText(searchString); find.selectAll(); } else // ??? replace.setText(null); ignoreCase.setSelected(SearchAndReplace.getIgnoreCase()); regexp.setSelected(SearchAndReplace.getRegexp()); wrap.setSelected(SearchAndReplace.getAutoWrapAround()); if(SearchAndReplace.getReverseSearch()) searchBack.setSelected(true); else searchForward.setSelected(true); if(SearchAndReplace.getBeanShellReplace()) beanShellReplace.setSelected(true); else stringReplace.setSelected(true); if(searchIn == CURRENT_BUFFER) searchCurrentBuffer.setSelected(true); else if(searchIn == ALL_BUFFERS) searchAllBuffers.setSelected(true); else if(searchIn == DIRECTORY) searchDirectory.setSelected(true); SearchFileSet fileset = SearchAndReplace.getSearchFileSet(); if(fileset instanceof DirectoryListSet) { filter.setText(((DirectoryListSet)fileset) .getFileFilter()); directory.setText(((DirectoryListSet)fileset) .getDirectory()); searchSubDirectories.setSelected(((DirectoryListSet)fileset) .isRecursive()); } else { String path; if(view.getBuffer().getVFS() instanceof FileVFS) { path = MiscUtilities.getParentOfPath( view.getBuffer().getPath()); } else path = System.getProperty("user.dir"); directory.setText(path); if(fileset instanceof AllBufferSet) { filter.setText(((AllBufferSet)fileset) .getFileFilter()); } else { filter.setText("*" + MiscUtilities .getFileExtension(view.getBuffer() .getName())); } searchSubDirectories.setSelected(true); } keepDialog.setSelected(jEdit.getBooleanProperty( "search.keepDialog.toggle")); hyperSearch.setSelected(jEdit.getBooleanProperty( "search.hypersearch.toggle")); updateEnabled(); pack(); jEdit.unsetProperty("search.width"); jEdit.unsetProperty("search.d-width"); jEdit.unsetProperty("search.height"); jEdit.unsetProperty("search.d-height"); GUIUtilities.loadGeometry(this,"search"); show(); GUIUtilities.requestFocus(this,find); } public void ok() { try { setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR)); if(!save()) return; if(hyperSearch.isSelected()) { if(SearchAndReplace.hyperSearch(view)); closeOrKeepDialog(); } else { if(SearchAndReplace.find(view)) closeOrKeepDialog(); } } finally { setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR)); } } public void cancel() { save(); GUIUtilities.saveGeometry(this,"search"); setVisible(false); } // private members private View view; // fields private HistoryTextField find, replace; private JRadioButton stringReplace, beanShellReplace; // search settings private JCheckBox keepDialog, ignoreCase, regexp, hyperSearch, wrap; private JRadioButton searchBack, searchForward; private JRadioButton searchCurrentBuffer, searchAllBuffers, searchDirectory; // multifile settings private HistoryTextField filter, directory; private JCheckBox searchSubDirectories; private JButton choose; // buttons private JButton findBtn, replaceBtn, replaceAndFindBtn, replaceAllBtn, closeBtn; private JPanel createFieldPanel() { ButtonActionHandler actionHandler = new ButtonActionHandler(); JPanel fieldPanel = new JPanel(new VariableGridLayout( VariableGridLayout.FIXED_NUM_COLUMNS,1)); fieldPanel.setBorder(new EmptyBorder(0,0,12,12)); JLabel label = new JLabel(jEdit.getProperty("search.find")); label.setDisplayedMnemonic(jEdit.getProperty("search.find.mnemonic") .charAt(0)); find = new HistoryTextField("find"); find.addActionListener(actionHandler); label.setLabelFor(find); label.setBorder(new EmptyBorder(12,0,2,0)); fieldPanel.add(label); fieldPanel.add(find); label = new JLabel(jEdit.getProperty("search.replace")); label.setDisplayedMnemonic(jEdit.getProperty("search.replace.mnemonic") .charAt(0)); label.setBorder(new EmptyBorder(12,0,0,0)); fieldPanel.add(label); ButtonGroup grp = new ButtonGroup(); ReplaceActionHandler replaceActionHandler = new ReplaceActionHandler(); // we use a custom JRadioButton subclass that returns // false for isFocusTraversable() so that the user can // tab from the search field to the replace field with // one keystroke Box replaceModeBox = new Box(BoxLayout.X_AXIS); stringReplace = new MyJRadioButton(jEdit.getProperty( "search.string-replace-btn")); stringReplace.addActionListener(replaceActionHandler); grp.add(stringReplace); replaceModeBox.add(stringReplace); replaceModeBox.add(Box.createHorizontalStrut(12)); beanShellReplace = new MyJRadioButton(jEdit.getProperty( "search.beanshell-replace-btn")); beanShellReplace.addActionListener(replaceActionHandler); grp.add(beanShellReplace); replaceModeBox.add(beanShellReplace); fieldPanel.add(replaceModeBox); fieldPanel.add(Box.createVerticalStrut(3)); replace = new HistoryTextField("replace"); replace.addActionListener(actionHandler); label.setLabelFor(replace); fieldPanel.add(replace); return fieldPanel; } private JPanel createSearchSettingsPanel() { JPanel searchSettings = new JPanel(new VariableGridLayout( VariableGridLayout.FIXED_NUM_COLUMNS,3)); searchSettings.setBorder(new EmptyBorder(0,0,12,12)); SettingsActionHandler actionHandler = new SettingsActionHandler(); ButtonGroup fileset = new ButtonGroup(); searchSettings.add(new JLabel(jEdit.getProperty("search.fileset"))); keepDialog = new JCheckBox(jEdit.getProperty("search.keep")); keepDialog.setMnemonic(jEdit.getProperty("search.keep.mnemonic") .charAt(0)); searchSettings.add(keepDialog); searchSettings.add(new JLabel(jEdit.getProperty("search.direction"))); ButtonGroup direction = new ButtonGroup(); searchCurrentBuffer = new JRadioButton(jEdit.getProperty("search.current")); searchCurrentBuffer.setMnemonic(jEdit.getProperty("search.current.mnemonic") .charAt(0)); fileset.add(searchCurrentBuffer); searchSettings.add(searchCurrentBuffer); searchCurrentBuffer.addActionListener(actionHandler); ignoreCase = new JCheckBox(jEdit.getProperty("search.case")); ignoreCase.setMnemonic(jEdit.getProperty("search.case.mnemonic") .charAt(0)); searchSettings.add(ignoreCase); ignoreCase.addActionListener(actionHandler); searchBack = new JRadioButton(jEdit.getProperty("search.back")); searchBack.setMnemonic(jEdit.getProperty("search.back.mnemonic") .charAt(0)); direction.add(searchBack); searchSettings.add(searchBack); searchBack.addActionListener(actionHandler); searchAllBuffers = new JRadioButton(jEdit.getProperty("search.all")); searchAllBuffers.setMnemonic(jEdit.getProperty("search.all.mnemonic") .charAt(0)); fileset.add(searchAllBuffers); searchSettings.add(searchAllBuffers); searchAllBuffers.addActionListener(actionHandler); regexp = new JCheckBox(jEdit.getProperty("search.regexp")); regexp.setMnemonic(jEdit.getProperty("search.regexp.mnemonic") .charAt(0)); searchSettings.add(regexp); regexp.addActionListener(actionHandler); searchForward = new JRadioButton(jEdit.getProperty("search.forward")); searchForward.setMnemonic(jEdit.getProperty("search.forward.mnemonic") .charAt(0)); direction.add(searchForward); searchSettings.add(searchForward); searchForward.addActionListener(actionHandler); searchDirectory = new JRadioButton(jEdit.getProperty("search.directory")); searchDirectory.setMnemonic(jEdit.getProperty("search.directory.mnemonic") .charAt(0)); fileset.add(searchDirectory); searchSettings.add(searchDirectory); searchDirectory.addActionListener(actionHandler); hyperSearch = new JCheckBox(jEdit.getProperty("search.hypersearch")); hyperSearch.setMnemonic(jEdit.getProperty("search.hypersearch.mnemonic") .charAt(0)); searchSettings.add(hyperSearch); hyperSearch.addActionListener(actionHandler);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -