Fix #2600 duplicate labels in the same file not spotted
Fix #2600 duplicate labels in the same file not spotted

James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop