Function appendFocusHistory

dashboard/graph/src/explorerState.ts:75–81

(
  previous: FocusHistoryEntry[],
  node: Pick<FocusHistoryEntry, "id" | "name">,
)

}

export function appendFocusHistory(
  previous: FocusHistoryEntry[],
  node: Pick<FocusHistoryEntry, "id" | "name">,
): FocusHistoryEntry[] {
  const trimmed = previous.filter((entry) => entry.id !== node.id);
  return [...trimmed.slice(-7), { id: node.id, name: node.name }];
}