find = new JTextField(jEdit.getProperty("search.find.value"),20);
find = new HistoryTextField("find",20);
	public HyperSearch(View view)	{		super(view,jEdit.getProperty("hypersearch.title"),false);		this.view = view;		positions = new Vector();		Container content = getContentPane();		content.setLayout(new BorderLayout());		JPanel panel = new JPanel(new BorderLayout());		panel.add(new JLabel(jEdit.getProperty("hypersearch.find")),			BorderLayout.WEST);		find = new JTextField(jEdit.getProperty("search.find.value"),20);		panel.add(find, BorderLayout.CENTER);		content.add(panel, BorderLayout.NORTH);		JPanel stretchPanel = new JPanel(new BorderLayout());		panel = new JPanel();		ignoreCase = new JCheckBox(jEdit.getProperty(			"search.ignoreCase"),			"on".equals(jEdit.getProperty("search.ignoreCase.toggle")));		panel.add(ignoreCase);		panel.add(new JLabel(jEdit.getProperty("search.regexp")));		regexpSyntax = new JComboBox(jEdit.SYNTAX_LIST);		regexpSyntax.setSelectedItem(jEdit.getProperty("search"			+ ".regexp.value"));		panel.add(regexpSyntax);		findBtn = new JButton(jEdit.getProperty("hypersearch.findBtn"));		panel.add(findBtn);		getRootPane().setDefaultButton(findBtn);		close = new JButton(jEdit.getProperty("hypersearch.close"));		panel.add(close);		stretchPanel.add(panel,BorderLayout.NORTH);		results = new JList();		results.setVisibleRowCount(10);		results.setFont(view.getTextArea().getFont());		results.addListSelectionListener(this);		stretchPanel.add(new JScrollPane(results), BorderLayout.CENTER);		content.add(stretchPanel, BorderLayout.CENTER);		Dimension screen = getToolkit().getScreenSize();		pack();		setLocation((screen.width - getSize().width) / 2,			(screen.height - getSize().height) / 2);		setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);		find.addKeyListener(this);		addKeyListener(this);		addWindowListener(this);		findBtn.addActionListener(this);		close.addActionListener(this);		show();		find.requestFocus();	}