* gui: show shell workspace context in the header * docs: record the header wayfinding PR --------- Co-authored-by: Simone <185146821+Lucenx9@users.noreply.github.com>
17 files changedLine totals unavailable
* gui: show shell workspace context in the header * docs: record the header wayfinding PR --------- Co-authored-by: Simone <185146821+Lucenx9@users.noreply.github.com>