On Tue, Sep 08, 2015 at 12:10:14PM -0400, Josh Matthews wrote: > On 09/08/2015 08:55 AM, Josh Matthews wrote: > >Similarly, we have the ability to run user scripts: > > > >http://mxr.mozilla.org/servo/source/components/util/opts.rs#59 >=20 > No, they are implemented as <script> elements that are appended the the > <head> element when it is added to the page DOM.
I'd like to expose the GreaseMonkey privileged APIs as well, so that wouldn't cut it.
signature.asc
Description: PGP signature
_______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
