cons.gridy = 10;
cons.gridy = 11;
	public EditorOptionPane()	{		super("editor");		GridBagLayout layout = new GridBagLayout();		setLayout(layout);		GridBagConstraints cons = new GridBagConstraints();		cons.gridx = cons.gridy = 0;		cons.gridwidth = 3;		cons.gridheight = 1;		cons.fill = GridBagConstraints.BOTH;		cons.weightx = 1.0f;		JLabel label = new JLabel(jEdit.getProperty("options.editor"			+ ".font"),SwingConstants.RIGHT);		layout.setConstraints(label,cons);		add(label);		cons.gridx = 3;		cons.gridwidth = 1;		font = new JComboBox(getToolkit().getFontList());		font.setSelectedItem(jEdit.getProperty("view.font"));		layout.setConstraints(font,cons);		add(font);		cons.gridx = 0;		cons.gridy = 1;		cons.gridwidth = 3;		label = new JLabel(jEdit.getProperty("options.editor.fontstyle"),			SwingConstants.RIGHT);		layout.setConstraints(label,cons);		add(label);		cons.gridx = 3;		cons.gridwidth = 1;		String[] styles = { jEdit.getProperty("options.editor.plain"),			jEdit.getProperty("options.editor.bold"),			jEdit.getProperty("options.editor.italic"),			jEdit.getProperty("options.editor.boldItalic") };		style = new JComboBox(styles);		try		{			style.setSelectedIndex(Integer.parseInt(jEdit				.getProperty("view.fontstyle")));		}		catch(NumberFormatException nf)		{		}		layout.setConstraints(style,cons);		add(style);		cons.gridx = 0;		cons.gridy = 2;		cons.gridwidth = 3;		label = new JLabel(jEdit.getProperty("options.editor.fontsize"),			SwingConstants.RIGHT);		layout.setConstraints(label,cons);		add(label);		cons.gridx = 3;		cons.gridwidth = 1;		String[] sizes = { "9", "10", "12", "14", "18", "24" };		size = new JComboBox(sizes);		size.setEditable(true);		size.setSelectedItem(jEdit.getProperty("view.fontsize"));		layout.setConstraints(size,cons);		add(size);		cons.gridx = 0;		cons.gridy = 3;		cons.gridwidth = 3;		label = new JLabel(jEdit.getProperty("options.editor.tabSize"),			SwingConstants.RIGHT);		layout.setConstraints(label,cons);		add(label);		cons.gridx = 3;		cons.gridwidth = 1;		String[] tabSizes = { "8", "4" };		tabSize = new JComboBox(tabSizes);		tabSize.setEditable(true);		tabSize.setSelectedItem(jEdit.getProperty("buffer.tabSize"));		layout.setConstraints(tabSize,cons);		add(tabSize);		cons.gridx = 0;		cons.gridy = 4;		cons.gridwidth = cons.REMAINDER;		cons.fill = GridBagConstraints.NONE;		cons.anchor = GridBagConstraints.WEST;		lineHighlight = new JCheckBox(jEdit.getProperty("options.editor"			+ ".lineHighlight"));		lineHighlight.getModel().setSelected("on".equals(jEdit			.getProperty("view.lineHighlight")));		layout.setConstraints(lineHighlight,cons);		add(lineHighlight);		cons.gridy = 5;		bracketHighlight = new JCheckBox(jEdit.getProperty("options.editor"			+ ".bracketHighlight"));		bracketHighlight.getModel().setSelected("on".equals(jEdit			.getProperty("view.bracketHighlight")));		layout.setConstraints(bracketHighlight,cons);		add(bracketHighlight);		cons.gridy = 6;		syntax = new JCheckBox(jEdit.getProperty("options.editor"			+ ".syntax"));		syntax.getModel().setSelected("on".equals(jEdit.getProperty(			"buffer.syntax")));		layout.setConstraints(syntax,cons);		add(syntax);		cons.gridy = 7;		autoIndent = new JCheckBox(jEdit.getProperty("options.editor"			+ ".autoIndent"));		autoIndent.getModel().setSelected("on".equals(jEdit.getProperty(			"view.autoindent")));		layout.setConstraints(autoIndent,cons);		add(autoIndent);		cons.gridy = 8;		blinkCaret = new JCheckBox(jEdit.getProperty("options.editor"			+ ".blinkCaret"));		blinkCaret.getModel().setSelected(!"0".equals(jEdit.getProperty(			"view.caretBlinkRate")));		layout.setConstraints(blinkCaret,cons);		add(blinkCaret);		cons.gridy = 9;		blockCaret = new JCheckBox(jEdit.getProperty("options.editor"			+ ".blockCaret"));		blockCaret.getModel().setSelected("on".equals(jEdit.getProperty(			"view.blockCaret")));		layout.setConstraints(blockCaret,cons);		add(blockCaret);		cons.gridy = 10;		electricBorders = new JCheckBox(jEdit.getProperty("options.editor"			+ ".electricBorders"));		electricBorders.getModel().setSelected(!"0".equals(jEdit.getProperty(			"view.electricBorders")));		layout.setConstraints(electricBorders,cons);		add(electricBorders);		cons.gridy = 11;		noTabs = new JCheckBox(jEdit.getProperty("options.editor"			+ ".noTabs"));		noTabs.getModel().setSelected("yes".equals(jEdit.getProperty(			"buffer.noTabs")));		layout.setConstraints(noTabs,cons);		add(noTabs);	}