String family = jEdit.props.getProperty("view.font", "Monospaced"); int size, style; try { size = Integer.parseInt(jEdit.props .getProperty("view.fontsize")); } catch(NumberFormatException nf) { size = 12; } try { style = Integer.parseInt(jEdit.props .getProperty("view.fontstyle")); } catch(NumberFormatException nf) { style = 0; } Font font = new Font(family,style,size);
Font font = jEdit.getFont();
	public void propertiesChanged()	{		String family = jEdit.props.getProperty("view.font",			"Monospaced");		int size, style;		try		{			size = Integer.parseInt(jEdit.props				.getProperty("view.fontsize"));		}		catch(NumberFormatException nf)		{			size = 12;		}		try		{			style = Integer.parseInt(jEdit.props				.getProperty("view.fontstyle"));		}		catch(NumberFormatException nf)		{			style = 0;		}		Font font = new Font(family,style,size);		textArea.setFont(font);		status.setFont(font);		/*String linewrap = jEdit.props.getProperty("view.linewrap");		if("word".equals(linewrap))		{			textArea.setLineWrap(true);			textArea.setWrapStyleWord(true);		}		else if("char".equals(linewrap))		{			textArea.setLineWrap(true);			textArea.setWrapStyleWord(false);		}*/		autoindent = "on".equals(jEdit.props.getProperty(			"view.autoindent"));		SwingUtilities.updateComponentTreeUI(this);		updateOpenRecentMenu();	}