Community
Participate
Working Groups
Hi team, I would like to add specific color highlighting for VarComments: <?php /* @var DateTime $date */ $date = null; Why? Simply to be sure that PDT recognizes it as a VarComment and not as a "normal" multi-line comment (and so easily detect wrongly-written VarComments). It will not do much more (it will not check if "$date" exists), but visually I find it interesting to distinguish phpModuleDeclaration.getVarComments() from other comments ;) So, what color should I use by default? And what would be the name of the highlighter (for the user)? Thierry.
Hi Thierry, Im not sure about default color and name. If you could propose somthing, maybe a screenshot, it would be helpful :)
Created attachment 273720 [details] screenshot Yes of course :) Look at the new foreground color of comment "/* @var array[DateTime]|DateTime $var */" For my example I used the same foreground color (and bold font) as for phpdoc @tags and todo task @tags.
