Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/core
common/tree-preference
PREFERENCE_NAME_TREE_INDENT

Variable PREFERENCE_NAME_TREE_INDENT`Const`

PREFERENCE_NAME_TREE_INDENT: "workbench.tree.indent" = 'workbench.tree.indent'

Defined in packages/core/src/common/tree-preference.ts:21

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...