cons.gridy = 2;
cons.gridy = 3;
	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.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.setSelectedItem(jEdit.getProperty("view.fontsize"));		layout.setConstraints(size,cons);		add(size);		cons.gridx = 0;		cons.gridy = 2;		cons.gridwidth = 3;		label = new JLabel(jEdit.getProperty("options.editor.width"),			SwingConstants.RIGHT);		layout.setConstraints(label,cons);		add(label);		cons.gridx = 3;		cons.gridwidth = 1;		viewWidth = new JTextField(jEdit.getProperty("view.geometry.w"));		layout.setConstraints(viewWidth,cons);		add(viewWidth);		cons.gridx = 0;		cons.gridy = 3;		cons.gridwidth = 3;		label = new JLabel(jEdit.getProperty("options.editor.height"),			SwingConstants.RIGHT);		layout.setConstraints(label,cons);		add(label);		cons.gridx = 3;		cons.gridwidth = 1;		viewHeight = new JTextField(jEdit.getProperty("view.geometry.h"));		layout.setConstraints(viewHeight,cons);		add(viewHeight);				cons.gridx = 0;		cons.gridy = 4;		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;		tabSize = new JTextField(jEdit.getProperty("buffer.tabSize"));		layout.setConstraints(tabSize,cons);		add(tabSize);		cons.gridx = 0;		cons.gridy = 5;		cons.gridwidth = cons.REMAINDER;		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 = 6;		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 = 7;		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 = 8;		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 = 9;		blinkCaret = new JCheckBox(jEdit.getProperty("options.editor"			+ ".blinkCaret"));		blinkCaret.getModel().setSelected(!"0".equals(jEdit.getProperty(			"view.caretBlinkRate")));		layout.setConstraints(blinkCaret,cons);		add(blinkCaret);	}