paneTree.addMouseListener(new MouseHandler());
	public OptionsDialog(View view)	{		super(view, jEdit.getProperty("options.title"), true);		view.showWaitCursor();		JPanel content = new JPanel(new BorderLayout());		content.setBorder(new EmptyBorder(12,12,12,12));		setContentPane(content);		content.setLayout(new BorderLayout());		JPanel stage = new JPanel(new BorderLayout());		stage.setBorder(new EmptyBorder(0,6,0,0));		content.add(stage, BorderLayout.CENTER);		// currentLabel displays the path of the currently selected		// OptionPane at the top of the stage area		currentLabel = new JLabel();		currentLabel.setHorizontalAlignment(JLabel.LEFT);		currentLabel.setBorder(BorderFactory.createMatteBorder(0, 0, 1,			0, Color.black));		stage.add(currentLabel, BorderLayout.NORTH);		cardPanel = new JPanel(new CardLayout());		cardPanel.setBorder(new EmptyBorder(5,0,0,0));		stage.add(cardPanel, BorderLayout.CENTER);		paneTree = new JTree(createOptionTreeModel());		paneTree.setCellRenderer(new PaneNameRenderer());		paneTree.putClientProperty("JTree.lineStyle", "Angled");		paneTree.setShowsRootHandles(true);		paneTree.setRootVisible(false);		content.add(new JScrollPane(paneTree,			JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,			JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED),			BorderLayout.WEST);		JPanel buttons = new JPanel();		buttons.setBorder(new EmptyBorder(12,0,0,0));		buttons.setLayout(new BoxLayout(buttons,BoxLayout.X_AXIS));		buttons.add(Box.createGlue());		ok = new JButton(jEdit.getProperty("common.ok"));		ok.addActionListener(this);		buttons.add(ok);		buttons.add(Box.createHorizontalStrut(6));		getRootPane().setDefaultButton(ok);		cancel = new JButton(jEdit.getProperty("common.cancel"));		cancel.addActionListener(this);		buttons.add(cancel);		buttons.add(Box.createHorizontalStrut(6));		apply = new JButton(jEdit.getProperty("common.apply"));		apply.addActionListener(this);		buttons.add(apply);		buttons.add(Box.createGlue());		content.add(buttons, BorderLayout.SOUTH);		// compute the jEdit branch		TreePath jEditPath = new TreePath(new Object[]{ paneTree			.getModel().getRoot(), jEditGroup });		// register the Options dialog as a TreeSelectionListener.		// this is done before the initial selection to ensure that the		// first selected OptionPane is displayed on startup.		paneTree.getSelectionModel().addTreeSelectionListener(this);		// select the first member of the jEdit group		paneTree.setSelectionPath(jEditPath.pathByAddingChild(			jEditGroup.getMember(0)));		// register the MouseHandler to open and close branches		paneTree.addMouseListener(new MouseHandler());		view.hideWaitCursor();		pack();		setLocationRelativeTo(view);		show();	}