Skip to content

Keep the server badge in the right column when a workspace has several tabs - #514

Merged
powerfooI merged 1 commit into
powerfooI:mainfrom
martiGIT:fix/workspace-server-badge-order
Oct 30, 2026
Merged

Keep the server badge in the right column when a workspace has several tabs#514
powerfooI merged 1 commit into
powerfooI:mainfrom
martiGIT:fix/workspace-server-badge-order

Commits

  1. Commits on Oct 27, 2026