Highlight guard lines in dtx files
Highlight guard lines in dtx files

A guard line is a a line consisting of
%<X...>
where X can be /,*,-,+,@,< or nothing and ... can hold any character
valid in an option name.

Not sure whether to highlight the '%'. For the moment, it is not.

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