addSeparator("options.print.misc");
	protected void _init()	{		addSeparator("options.print.misc");		/* Font */		String _fontFamily = jEdit.getProperty("print.font");		int _fontStyle;		try		{			_fontStyle = Integer.parseInt(jEdit.getProperty("print.fontstyle"));		}		catch(NumberFormatException nf)		{			_fontStyle = Font.PLAIN;		}		int _fontSize;		try		{			_fontSize = Integer.parseInt(jEdit.getProperty("print.fontsize"));		}		catch(NumberFormatException nf)		{			_fontSize = 14;		}		font = new FontSelector(new Font(_fontFamily,_fontStyle,_fontSize));		addComponent(jEdit.getProperty("options.print.font"),font);		/* Header */		printHeader = new JCheckBox(jEdit.getProperty("options.print"			+ ".header"));		printHeader.setSelected(jEdit.getBooleanProperty("print.header"));		addComponent(printHeader);		/* Footer */		printFooter = new JCheckBox(jEdit.getProperty("options.print"			+ ".footer"));		printFooter.setSelected(jEdit.getBooleanProperty("print.footer"));		addComponent(printFooter);		/* Line numbering */		printLineNumbers = new JCheckBox(jEdit.getProperty("options.print"			+ ".lineNumbers"));		printLineNumbers.setSelected(jEdit.getBooleanProperty("print.lineNumbers"));		addComponent(printLineNumbers);		/* Syntax highlighting */		syntax = new JCheckBox(jEdit.getProperty("options.print"			+ ".syntax"));		syntax.setSelected(jEdit.getBooleanProperty("print.syntax"));		addComponent(syntax);		addSeparator("options.print.margins");		/* Margins */		topMargin = new JTextField(jEdit.getProperty("print.margin.top"));		addComponent(jEdit.getProperty("options.print.margin.top"),topMargin);		leftMargin = new JTextField(jEdit.getProperty("print.margin.left"));		addComponent(jEdit.getProperty("options.print.margin.left"),leftMargin);		bottomMargin = new JTextField(jEdit.getProperty("print.margin.bottom"));		addComponent(jEdit.getProperty("options.print.margin.bottom"),bottomMargin);		rightMargin = new JTextField(jEdit.getProperty("print.margin.right"));		addComponent(jEdit.getProperty("options.print.margin.right"),rightMargin);	}