$v:user-xref-properties

$v:user-xref-properties — Controls how cross-references are formatted.

Description

Replaced by $v:user-xref-groups.