Home
last modified time | relevance | path

Searched refs:EditorSettingsTypesWithDefaults (Results 1 – 2 of 2) sorted by relevance

/aosp_15_r20/external/pigweed/pw_ide/py/pw_ide/
H A Dvscode.py78 EditorSettingsTypesWithDefaults,
406 types_with_defaults: EditorSettingsTypesWithDefaults = {
420 types_with_defaults: EditorSettingsTypesWithDefaults = {
H A Deditors.py532 EditorSettingsTypesWithDefaults = dict[_SettingsTypeT, DefaultSettingsCallback] variable
564 types_with_defaults: EditorSettingsTypesWithDefaults[_SettingsTypeT] = {}
578 EditorSettingsTypesWithDefaults[_SettingsTypeT] | None