jEdit.unsetProperty("search.width"); jEdit.unsetProperty("search.height");
	public SearchDialog(View view, String defaultFind)	{		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);		fileset = SearchAndReplace.getSearchFileSet();		find = new HistoryTextField("find");		find.setText(defaultFind);		replace = new HistoryTextField("replace");		keepDialog = new JCheckBox(jEdit.getProperty(			"search.keepDialog"),jEdit.getBooleanProperty(			"search.keepDialog.toggle"));		ignoreCase = new JCheckBox(jEdit.getProperty(			"search.ignoreCase"),SearchAndReplace.getIgnoreCase());		regexp = new JCheckBox(jEdit.getProperty(			"search.regexp"),SearchAndReplace.getRegexp());		multifile = new JCheckBox();		multifile.setSelected(!(fileset instanceof CurrentBufferSet));		multifileBtn = new JButton(jEdit.getProperty(			"search.multifile"));		findBtn = new JButton(jEdit.getProperty("search.findBtn"));		replaceSelection = new JButton(jEdit.getProperty("search"			+ ".replaceSelection"));		replaceSelection.setMnemonic(jEdit.getProperty("search"			+ ".replaceSelection.mnemonic").charAt(0));		replaceAll = new JButton(jEdit.getProperty("search.replaceAll"));		replaceAll.setMnemonic(jEdit.getProperty("search.replaceAll"			+ ".mnemonic").charAt(0));		cancel = new JButton(jEdit.getProperty("common.cancel"));		JPanel panel = new JPanel(new GridLayout(2,1));		JPanel panel2 = new JPanel(new BorderLayout());		JLabel label = new JLabel(jEdit.getProperty("search.find"));		label.setBorder(new EmptyBorder(12,0,2,0));		panel2.add(BorderLayout.NORTH,label);		panel2.add(BorderLayout.CENTER,find);		panel.add(panel2);		panel2 = new JPanel(new BorderLayout());		label = new JLabel(jEdit.getProperty("search.replace"));		label.setBorder(new EmptyBorder(12,0,2,0));		panel2.add(BorderLayout.NORTH,label);		panel2.add(BorderLayout.CENTER,replace);		panel.add(panel2);		content.add(BorderLayout.NORTH,panel);		panel = new JPanel();		panel.setLayout(new BoxLayout(panel,BoxLayout.X_AXIS));		panel.setBorder(new EmptyBorder(6,0,12,0));		panel.add(Box.createGlue());		panel.add(keepDialog);		panel.add(Box.createHorizontalStrut(2));		panel.add(ignoreCase);		panel.add(Box.createHorizontalStrut(2));		panel.add(regexp);		panel.add(Box.createHorizontalStrut(2));		panel.add(multifile);		panel.add(multifileBtn);		panel.add(Box.createGlue());		content.add(BorderLayout.CENTER,panel);		Box box = new Box(BoxLayout.X_AXIS);		box.add(Box.createGlue());		box.add(findBtn);		box.add(Box.createHorizontalStrut(6));		box.add(replaceSelection);		box.add(Box.createHorizontalStrut(6));		box.add(replaceAll);		box.add(Box.createHorizontalStrut(6));		box.add(cancel);		box.add(Box.createGlue());		getRootPane().setDefaultButton(findBtn);		content.add(BorderLayout.SOUTH,box);		ActionHandler actionListener = new ActionHandler();		multifile.addActionListener(actionListener);		multifileBtn.addActionListener(actionListener);		findBtn.addActionListener(actionListener);		replaceSelection.addActionListener(actionListener);		replaceAll.addActionListener(actionListener);		cancel.addActionListener(actionListener);		GUIUtilities.requestFocus(this,find);		pack();		GUIUtilities.loadGeometry(this,"search");		show();	}