Commit ef82001
dev-integration: header tweaks — badge to far right, use display_name
Two changes only relevant once PR #944 (header badge) and PR #947
(display_name on WorkspaceItem) are both present:
1. Move workspace badge to the right of the user dropdown so it's the
rightmost element. Matches "where am I?" reading order — identity
first, current-context last.
2. Use `display_name ?? group` for the badge label instead of `group`
alone, mirroring what the picker (Workspaces.tsx, PR #947) already
does. With #947 deployed, this means the badge now shows the user's
email for their personal tenant instead of `eval-<sub>`.
NOT applied to PR #944's branch directly — its `WorkspaceItem` doesn't
yet include `display_name` (that comes from #947), so a TypeScript
error blocks the change there. After both #944 + #947 merge to main,
a small follow-up PR will land these two tweaks on main as the
canonical home.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>1 parent d0aedc1 commit ef82001
1 file changed
Lines changed: 25 additions & 17 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
83 | 83 | | |
84 | 84 | | |
85 | 85 | | |
86 | | - | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
87 | 90 | | |
88 | | - | |
89 | | - | |
90 | | - | |
91 | | - | |
92 | | - | |
93 | | - | |
94 | | - | |
95 | | - | |
96 | | - | |
97 | | - | |
98 | | - | |
99 | | - | |
100 | | - | |
101 | | - | |
102 | | - | |
103 | | - | |
104 | 91 | | |
105 | 92 | | |
106 | 93 | | |
| |||
130 | 117 | | |
131 | 118 | | |
132 | 119 | | |
| 120 | + | |
| 121 | + | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
133 | 141 | | |
134 | 142 | | |
135 | 143 | | |
| |||
0 commit comments