void setSelectionHalo(int pt) throws ScriptException {
		if (pt == statementLength) {
			viewer.setBooleanProperty("selectionHalos", true);
			return;
		}
		if (pt + 1 < statementLength)
			checkLength3();
		boolean showHalo = false;
		switch (statement[pt].tok) {
		case Token.on:
		case Token.selected:
			showHalo = true;
		case Token.off:
		case Token.none:
		case Token.normal:
			viewer.setBooleanProperty("selectionHalos", showHalo);
			break;
		default:
			keywordExpected();
		}
	}