theia-website icon indicating copy to clipboard operation
theia-website copied to clipboard

Published 20 hours ago • verified publisher icon eclipse-theia

Add documentation for the TreeWidget

Open xpomul opened this issue 8 months ago • 1 comments
trafficstars

Contributes a documentation page for the TreeWidget, describing how a custom Tree View can be implemented. Highlights several features and customization possibilities.

Note: This PR references example code in the Theia Extension Generator repository which is not yet merged. The respective PR is https://github.com/eclipse-theia/generator-theia-extension/pull/241 That PR should be merged first before merging this one.

xpomul avatar Mar 06 '25 10:03 xpomul

PR Preview Action v1.4.7 :---: Preview removed because the pull request was closed. 2025-06-17 14:49 UTC

github-actions[bot] avatar Mar 06 '25 10:03 github-actions[bot]

converted to draft - needs to be updated once https://github.com/eclipse-theia/generator-theia-extension/pull/241 has been finalized.

xpomul avatar Apr 23 '25 13:04 xpomul

@martin-fleck-at I have adapted the docs to the final example code. So it is ready for review now. Thanks and have a nice long weekend ;-)

xpomul avatar Apr 30 '25 13:04 xpomul

@xpomul Fantastic, thank you, I'll have a look at it today!

martin-fleck-at avatar May 07 '25 06:05 martin-fleck-at

@martin-fleck-at sorry for the delay. I was on vacation for a few weeks. Thank you for your valuable feedback.

I have tried to refine the documentation according your hints. I hope it is a bit clearer now.

xpomul avatar May 30 '25 13:05 xpomul

@xpomul I was also mostly out but will have a look at this some time this week, thank you!

martin-fleck-at avatar Jun 10 '25 15:06 martin-fleck-at