String family = jEdit.getProperty("view.font"); int size; try { size = Integer.parseInt(jEdit.getProperty( "view.fontsize")); } catch(NumberFormatException nf) { size = 14; } int style; try { style = Integer.parseInt(jEdit.getProperty( "view.fontstyle")); } catch(NumberFormatException nf) { style = Font.PLAIN; } Font font = new Font(family,style,size);
	private void propertiesChanged()	{		loadToolBar();		initBufferTabs();		showFullPath = "on".equals(jEdit.getProperty("view.showFullPath"));		if(buffer != null)			updateTitle();		String family = jEdit.getProperty("view.font");		int size;		try		{			size = Integer.parseInt(jEdit.getProperty(				"view.fontsize"));		}		catch(NumberFormatException nf)		{			size = 14;		}		int style;		try		{			style = Integer.parseInt(jEdit.getProperty(				"view.fontstyle"));		}		catch(NumberFormatException nf)		{			style = Font.PLAIN;		}		Font font = new Font(family,style,size);		JEditTextArea[] textAreas = getTextAreas();		for(int i = 0; i < textAreas.length; i++)		{			TextAreaPainter painter = textArea.getPainter();			painter.setFont(font);			painter.setLineHighlightEnabled("on".equals(jEdit.getProperty(				"view.lineHighlight")));			painter.setLineHighlightColor(GUIUtilities.parseColor(				jEdit.getProperty("view.lineHighlightColor")));			painter.setBracketHighlightEnabled("on".equals(jEdit.getProperty(				"view.bracketHighlight")));			painter.setBracketHighlightColor(GUIUtilities.parseColor(				jEdit.getProperty("view.bracketHighlightColor")));			painter.setEOLMarkersPainted("on".equals(jEdit.getProperty(				"view.eolMarkers")));			painter.setInvalidLinesPainted("on".equals(jEdit.getProperty(				"view.paintInvalid")));			painter.setEOLMarkerColor(GUIUtilities.parseColor(				jEdit.getProperty("view.eolMarkerColor")));			painter.setCaretColor(GUIUtilities.parseColor(				jEdit.getProperty("view.caretColor")));			painter.setSelectionColor(GUIUtilities.parseColor(				jEdit.getProperty("view.selectionColor")));			painter.setBackground(GUIUtilities.parseColor(				jEdit.getProperty("view.bgColor")));			painter.setForeground(GUIUtilities.parseColor(				jEdit.getProperty("view.fgColor")));			painter.setBlockCaretEnabled("on".equals(jEdit.getProperty(				"view.blockCaret")));			textArea.setCaretBlinkEnabled("on".equals(jEdit.getProperty(				"view.caretBlink")));			textArea.putClientProperty(InputHandler.SMART_HOME_END_PROPERTY,				new Boolean("yes".equals(jEdit.getProperty("view.homeEnd"))));			try			{				textArea.setElectricScroll(Integer.parseInt(jEdit					.getProperty("view.electricBorders")));			}			catch(NumberFormatException nf)			{				textArea.setElectricScroll(0);			}		}		loadStyles();		updateRecentMenu();	}