console.setInputFont( PreferenceLoader.loadFont( "consoleFontData" ) ); console.setHighlightColor( PreferenceLoader.loadColour( "consoleHighlight" ) );
	public void loadPreferences() {				console.setDisplayFont( PreferenceLoader.loadFont( "consoleFontData" ) );		console.setDisplayBackground ( PreferenceLoader.loadColour( "consoleBackground" ) );		console.setDisplayForeground ( PreferenceLoader.loadColour( "consoleForeground" ) );		console.setInputBackground ( PreferenceLoader.loadColour( "consoleInputBackground" ) );		console.setInputForeground ( PreferenceLoader.loadColour( "consoleInputForeground" ) );	}