⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 searchdialog.java

📁 Java写的文本编辑器
💻 JAVA
📖 第 1 页 / 共 2 页
字号:
/* * 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 + -