fix(programmer): resolve profile names in monitor help chips

Pass profileNames Map<String, String> from MonitorTab down to
ProgrammerMonitorCard and HelpPanel; use profileNames[id] ?? id
at all help-chip and help-edge row render sites so full names
display instead of raw UUIDs.

Co-Authored-By: claude-flow <ruv@ruv.net>
This commit is contained in:
2026-09-27 22:43:28 +08:00
parent 7beb8e8713
commit e24083356f
3 changed files with 16 additions and 7 deletions
@@ -112,6 +112,7 @@ class MonitorTab extends ConsumerWidget {
final grid = _ProgrammerGrid(
entries: entries,
profileNames: profileNames,
width: sideBySide ? width - 320 : width,
);
@@ -123,7 +124,7 @@ class MonitorTab extends ConsumerWidget {
const SizedBox(width: 12),
SizedBox(
width: 300,
child: const HelpPanel(),
child: HelpPanel(profileNames: profileNames),
),
],
)
@@ -133,7 +134,7 @@ class MonitorTab extends ConsumerWidget {
const SizedBox(height: 16),
SizedBox(
height: 340,
child: const HelpPanel(),
child: HelpPanel(profileNames: profileNames),
),
],
);
@@ -161,10 +162,12 @@ class MonitorTab extends ConsumerWidget {
class _ProgrammerGrid extends StatelessWidget {
const _ProgrammerGrid({
required this.entries,
required this.profileNames,
required this.width,
});
final List<ProgrammerMonitorEntry> entries;
final Map<String, String> profileNames;
final double width;
@override
@@ -198,6 +201,7 @@ class _ProgrammerGrid extends StatelessWidget {
final entry = entries[i];
return ProgrammerMonitorCard(
entry: entry,
profileNames: profileNames,
onTap: () =>
context.go('/programmer-tasks/programmers/${entry.programmer.id}'),
);