*/
export function markChat(sessionResource: URI, name: string): void {
const fullName = `${chatPerfPrefix}${sessionId}/${name}`;
let names = chatMarksBySession.get(sessionId);
if (!names) {
names = new Set();
chatMarksBySession.set(sessionId, names);
}
names.add(fullName);
mark(fullName);
}
/**