(info-xref-visited): Inherit from info-xref too.
(Info-set-mode-line): Replace occurrences of `%' by `%%' when propertizing Info-current-file and Info-current-node.
Showing
Please register or sign in to comment
(Info-set-mode-line): Replace occurrences of `%' by `%%' when propertizing Info-current-file and Info-current-node.