Sebastian Sdorra f5d9855a24 Add extension points for source tree (#1816) ...

This change will add an extension point which allows to wrap the source tree. This is required in order to use a context provider e.g. to capture a selected file. Another extension point allows to add a row between the row of a file.
In order to implement the extension points ui-extensions has now a wrapper property and passes the children of an extension point to implementing extension.

2021-09-30 16:41:04 +02:00

..

de

Redesign repository overview (#1740)

2021-07-28 15:04:00 +02:00

en

Add extension points for source tree (#1816)

2021-09-30 16:41:04 +02:00