title.js, old against new, unified

Old line	New line	Change	Text
			@@ -3,7 +3,8 @@ export function title(container)
3	3		const name = container.name ?? "untitled";
4		− removed	let label = name;
	4	+ added	let label = `${name} (${container.children.length})`;
5	5		if (label.length > MAX_LENGTH) {
6	6	~ modified	label = label.slice(0, MAX_LENGTH) + "…";
7	7		}
… 12 unchanged linesHide 12 unchanged lines