useDefaults = !jEdit.getBooleanProperty("mode." + mode.getName() + ".customSettings"); filenameGlob = (String)mode.getProperty("filenameGlob"); firstlineGlob = (String)mode.getProperty("firstlineGlob"); tabSize = mode.getProperty("tabSize").toString(); commentStart = (String)mode.getProperty("commentStart"); commentEnd = (String)mode.getProperty("commentEnd"); boxComment = (String)mode.getProperty("boxComment"); blockComment = (String)mode.getProperty("blockComment"); noWordSep = (String)mode.getProperty("noWordSep"); noTabs = mode.getBooleanProperty("noTabs"); indentOnTab = mode.getBooleanProperty("indentOnTab"); indentOnEnter = mode.getBooleanProperty("indentOnEnter"); syntax = mode.getBooleanProperty("syntax");
		ModeProperties(Mode mode)		{			this.mode = mode;			useDefaults = !jEdit.getBooleanProperty("mode."				+ mode.getName() + ".customSettings");			filenameGlob = (String)mode.getProperty("filenameGlob");			firstlineGlob = (String)mode.getProperty("firstlineGlob");			tabSize = mode.getProperty("tabSize").toString();			commentStart = (String)mode.getProperty("commentStart");			commentEnd = (String)mode.getProperty("commentEnd");			boxComment = (String)mode.getProperty("boxComment");			blockComment = (String)mode.getProperty("blockComment");			noWordSep = (String)mode.getProperty("noWordSep");			noTabs = mode.getBooleanProperty("noTabs");			indentOnTab = mode.getBooleanProperty("indentOnTab");			indentOnEnter = mode.getBooleanProperty("indentOnEnter");			syntax = mode.getBooleanProperty("syntax");		}