Closed Yarakashi-Kikohshi closed 4 months ago
The commands \zref[option]{foo} and \zlabel{foo} provided by zref receive different syntax highlighting than \ref and \label.
\zref[option]{foo}
\zlabel{foo}
\ref
\label
\label{foo} \zlabel{foo} \zref{foo} \zref[option]{foo}
\zref with option and \zlabel are variations of \ref and \label, and are commands with the same meaning. Therefore, they should have the same color syntax highlighting.
\zref
\zlabel
Version: 1.89.0 (user setup) Commit: b58957e67ee1e712cebf466b995adf4c5307b2bd Date: 2024-05-01T02:09:22.859Z Electron: 28.2.8 ElectronBuildId: 27744544 Chromium: 120.0.6099.291 Node.js: 18.18.2 V8: 12.0.267.19-electron.0 OS: Windows_NT x64 10.0.22631
The commands
\zref[option]{foo}
and\zlabel{foo}
provided by zref receive different syntax highlighting than\ref
and\label
.\zref
with option and\zlabel
are variations of\ref
and\label
, and are commands with the same meaning. Therefore, they should have the same color syntax highlighting.Version