Skip to content

Make tree widget indentation configurable#13179

Merged
msujew merged 1 commit intoeclipse-theia:masterfrom eclipsesource:configure-tree-indentationJan 17, 2024

Commits

Commits on Jan 16, 2024