UserPreferences (definition) in projects: third_party

Searched defs:UserPreferences (Results 1 – 7 of 7) sorted by relevance

/third_party/typescript/lib/
D	protocol.d.ts	`2543 interface UserPreferences { interface`
D	typescript.d.ts	`3906 export interface UserPreferences { interface`
D	typescriptServices.d.ts	`3906 export interface UserPreferences { interface`
D	tsserverlibrary.d.ts	`3906 export interface UserPreferences { interface`
/third_party/typescript/src/server/
D	protocol.ts	`3293 export interface UserPreferences { interface`
/third_party/typescript/tests/baselines/reference/api/
D	typescript.d.ts	`4118 export interface UserPreferences { interface`
D	tsserverlibrary.d.ts	`4118 export interface UserPreferences { interface`