showToolbar.getModel().setSelected(jEdit.getBooleanProperty( "view.showToolbar"));
showToolbar.setSelected(jEdit.getBooleanProperty("view.showToolbar"));
	protected void _init()	{		setLayout(new BorderLayout());		JPanel panel = new JPanel(new GridLayout(3,1));		/* Show toolbar */		showToolbar = new JCheckBox(jEdit.getProperty(			"options.general.showToolbar"));		showToolbar.getModel().setSelected(jEdit.getBooleanProperty(			"view.showToolbar"));		panel.add(showToolbar);		/* Show search bar */		showSearchbar = new JCheckBox(jEdit.getProperty(			"options.general.showSearchbar"));		showSearchbar.getModel().setSelected(jEdit.getBooleanProperty(			"view.showSearchbar"));		panel.add(showSearchbar);		panel.add(new JLabel(jEdit.getProperty(			"options.toolbar.caption")));		add(BorderLayout.NORTH,panel);		String toolbar = jEdit.getProperty("view.toolbar");		StringTokenizer st = new StringTokenizer(toolbar);		listModel = new DefaultListModel();		while(st.hasMoreTokens())		{			String actionName = (String)st.nextToken();			Icon icon;			String label;			String iconName;			if(actionName.equals("-"))			{				label = "-";				iconName = null;				icon = null;			}			else			{				label = jEdit.getProperty(actionName + ".label");				if(label == null)					continue;				iconName = jEdit.getProperty(actionName + ".icon");				if(iconName == null)					continue;				icon = GUIUtilities.loadToolBarIcon(iconName);			}			listModel.addElement(new Button(actionName,iconName,icon,label));		}		list = new JList(listModel);		list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);		list.addListSelectionListener(new ListHandler());		list.setCellRenderer(new ButtonCellRenderer());		add(BorderLayout.CENTER,new JScrollPane(list));		JPanel buttons = new JPanel();		ActionHandler actionHandler = new ActionHandler();		add = new JButton(jEdit.getProperty("options.toolbar.add"));		add.addActionListener(actionHandler);		buttons.add(add);		remove = new JButton(jEdit.getProperty("options.toolbar.remove"));		remove.addActionListener(actionHandler);		buttons.add(remove);		moveUp = new JButton(jEdit.getProperty("options.toolbar.moveUp"));		moveUp.addActionListener(actionHandler);		buttons.add(moveUp);		moveDown = new JButton(jEdit.getProperty("options.toolbar.moveDown"));		moveDown.addActionListener(actionHandler);		buttons.add(moveDown);		updateButtons();		add(BorderLayout.SOUTH,buttons);		// create actions list		EditAction[] actions = jEdit.getActions();		Vector vector = new Vector(actions.length);		for(int i = 0; i < actions.length; i++)		{			String actionName = actions[i].getName();			String label = jEdit.getProperty(actionName + ".label");			if(label == null)				continue;			vector.addElement(new Button(actionName,null,null,label));		}		MiscUtilities.quicksort(vector,new ButtonCompare());		actionsList = new DefaultListModel();		actionsList.ensureCapacity(vector.size());		for(int i = 0; i < vector.size(); i++)		{			actionsList.addElement(vector.elementAt(i));		}		// create icons list		iconList = new DefaultComboBoxModel();		st = new StringTokenizer(jEdit.getProperty("icons"));		while(st.hasMoreElements())		{			String icon = st.nextToken();			iconList.addElement(new IconListEntry(				GUIUtilities.loadToolBarIcon(icon),icon));		}	}