toolBar.add(Box.createHorizontalStrut(10));
	private void loadToolBar()	{		if("on".equals(jEdit.getProperty("view.showToolbar")))		{			if(toolBar == null)			{				toolBar = GUIUtilities.loadToolBar("view.toolbar");				toolBar.add(Box.createHorizontalStrut(10));				toolBar.add(new JLabel(jEdit.getProperty("view.quicksearch")));				Box box = new Box(BoxLayout.Y_AXIS);				box.add(Box.createVerticalGlue());				box.add(quicksearch);				box.add(Box.createVerticalGlue());				toolBar.add(box);				toolBar.add(ignoreCase = GUIUtilities.loadToolButton(					"ignore-case"));				toolBar.add(regexp = GUIUtilities.loadToolButton(					"regexp"));				toolBar.add(multifile = GUIUtilities.loadToolButton(					"multifile-search"));			}			if(toolBar.getParent() == null)				addToolBar(toolBar);		}		else if(toolBar != null)		{			removeToolBar(toolBar);			toolBar = null;			validate();		}	}