+
+ // Code for display of formatted references
+ bool const use_formatted_ref = buffer().params().use_formatted_ref;
+ if (use_formatted_ref) {
+ string const & cmd = getCmdName();
+ docstring const & ref = getParam("reference");
+ if (cmd != "pageref" && cmd != "vpageref" && cmd != "vref" &&
+ cmd != "labelonly")
+ screen_label_ = displayString(ref, cmd);
+ }