gui: show shell workspace context in the header

e7a2742734Simone committed on 10/8/2026, 6:31:47 PMparent4815c16
17 files changedLine totals unavailable