> Having said that, we should really expand the pragma annotations only after a 
> mouse click.

The problem with this is that users won't be able to search for certain pragmas 
in the documentation. But perhaps it's not that big of a deal.

Reply via email to