String userMode = getStringProperty("mode"); if(userMode != null) { Mode m = jEdit.getMode(userMode); if(m != null) { setMode(m); return; } }  String nogzName = name.substring(0,name.length() - (name.endsWith(".gz") ? 3 : 0)); Mode[] modes = jEdit.getModes();  String firstLine = getLineText(0);  for(int i = 0; i < modes.length; i++) { if(modes[i].accept(nogzName,firstLine)) { setMode(modes[i]); return; } }  Mode defaultMode = jEdit.getMode(jEdit.getProperty("buffer.defaultMode")); if(defaultMode == null) defaultMode = jEdit.getMode("text"); setMode(defaultMode);
setMode(jEdit.getMode(mode));
	public void setMode()	{		String userMode = getStringProperty("mode");		if(userMode != null)		{			Mode m = jEdit.getMode(userMode);			if(m != null)			{				setMode(m);				return;			}		}		String nogzName = name.substring(0,name.length() -			(name.endsWith(".gz") ? 3 : 0));		Mode[] modes = jEdit.getModes();		String firstLine = getLineText(0);		for(int i = 0; i < modes.length; i++)		{			if(modes[i].accept(nogzName,firstLine))			{				setMode(modes[i]);				return;			}		}		Mode defaultMode = jEdit.getMode(jEdit.getProperty("buffer.defaultMode"));		if(defaultMode == null)			defaultMode = jEdit.getMode("text");		setMode(defaultMode);	} //}}}