> 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.
> 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.