Home
last modified time | relevance | path

Searched defs:convertUserPreferences (Results 1 – 3 of 3) sorted by relevance

/third_party/typescript/src/server/
DeditorServices.ts307 export function convertUserPreferences(preferences: protocol.UserPreferences): UserPreferences { function
/third_party/typescript/lib/
Dtsserverlibrary.js156041 function convertUserPreferences(preferences) { function
Dtsserver.js155847 function convertUserPreferences(preferences) { function