2088
2089
public setLanguage(languageIdOrSelection: string | ILanguageSelection, source?: string): void {
2090
>
if (typeof languageIdOrSelection === 'string') {
textModel.ts
2091
>
this._languageSelectionListener.clear();
2092
>
this._setLanguage(languageIdOrSelection, source);
2093
>
} else {
2094
this._languageSelectionListener.value = languageIdOrSelection.onDidChange(() => this._setLanguage(languageIdOrSelection.languageId, source));
2095
this._setLanguage(languageIdOrSelection.languageId, source);
2096
}
2098
2099
private _setLanguage(languageId: string, source?: string): void {
2100
>
this.tokenization.setLanguageId(languageId, source);
textModel.ts
2101
>
this._languageService.requestRichLanguageFeatures(languageId);
2102
>
}
2103
2104
public getLanguageIdAtPosition(lineNumber: number, column: number): string {