jEdit.unsetProperty("search.d-height");
	public SearchDialog(View view)	{		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());		setResizable(false);		pack();		jEdit.unsetProperty("search.width");		jEdit.unsetProperty("search.height");		GUIUtilities.loadGeometry(this,"search");	}