[Pydev-users] tooltip text formatting

[سليمان ا. <sah...@gm...>]

currently the tooltip highlights everything between @ and : how can I
change that to make it for example highlight docstrings? is there a setting
for that? if not, where in the source code is it?