constraints.gridx = 3; syntax = new JCheckBox(jEdit.props.getProperty( "options.editing.syntax")); syntax.getModel().setSelected("on".equals(jEdit.props .getProperty("buffer.syntax"))); layout.setConstraints(syntax,constraints); content.add(syntax);
	private JPanel createEditingPanel()	{		JPanel content = new JPanel();		content.setBorder(new TitledBorder(jEdit.props.getProperty(			"options.editing")));		GridBagLayout layout = new GridBagLayout();		content.setLayout(layout);		GridBagConstraints constraints = new GridBagConstraints();		constraints.fill = constraints.BOTH;		constraints.weightx = 1.0f;		constraints.gridwidth = 1;		JLabel label = new JLabel(jEdit.props.getProperty(			"options.editing.font"),SwingConstants.RIGHT);		layout.setConstraints(label,constraints);		content.add(label);		constraints.gridx = 1;		constraints.gridwidth = 2;		font = new JComboBox(getToolkit().getFontList());		font.setSelectedItem(jEdit.props.getProperty("view.font"));		layout.setConstraints(font,constraints);		content.add(font);		constraints.gridx = 3;		constraints.gridwidth = 1;		Object[] sizes = { "9", "10", "12", "14", "18", "24" };		fontSize = new JComboBox(sizes);		fontSize.setSelectedItem(jEdit.props.getProperty(			"view.fontsize"));		layout.setConstraints(fontSize,constraints);		content.add(fontSize);		constraints.gridx = 0;		constraints.gridy = 1;		label = new JLabel(jEdit.props.getProperty(			"options.editing.wrap"),SwingConstants.RIGHT);		layout.setConstraints(label,constraints);		content.add(label);		String wrap = jEdit.props.getProperty("view.linewrap");		ButtonGroup grp = new ButtonGroup();		constraints.gridx = 1;		off = new JRadioButton(jEdit.props.getProperty(			"options.editing.wrap.off"));		off.getModel().setSelected("off".equals(wrap));		grp.add(off);		layout.setConstraints(off,constraints);		content.add(off);		constraints.gridx = 2;		charWrap = new JRadioButton(jEdit.props.getProperty(			"options.editing.wrap.char"));		charWrap.getModel().setSelected("char".equals(wrap));		grp.add(charWrap);		layout.setConstraints(charWrap,constraints);		content.add(charWrap);		constraints.gridx = 3;		wordWrap = new JRadioButton(jEdit.props.getProperty(			"options.editing.wrap.word"));		wordWrap.getModel().setSelected("word".equals(wrap));		grp.add(wordWrap);		layout.setConstraints(wordWrap,constraints);		content.add(wordWrap);		constraints.gridx = 0;		constraints.gridy = 2;		label = new JLabel(jEdit.props.getProperty(			"options.editing.tabsize"),SwingConstants.RIGHT);		layout.setConstraints(label,constraints);		content.add(label);		constraints.gridx = 1;		tabSize = new JTextField(jEdit.props.getProperty(			"buffer.tabsize"),5);		layout.setConstraints(tabSize,constraints);		content.add(tabSize);		constraints.gridx = 2;		constraints.gridwidth = constraints.REMAINDER;		autoindent = new JCheckBox(jEdit.props.getProperty(			"options.editing.autoindent"));		autoindent.getModel().setSelected("on".equals(jEdit.props			.getProperty("view.autoindent")));		layout.setConstraints(autoindent,constraints);		content.add(autoindent);		return content;	}