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
On Tue, Sep 08, 2015 at 05:51:27PM +0200, Simon Sapin wrote:
> You can use
> http://doc.servo.org/servo/util/opts/struct.Opts.html#structfield.user_stylesheets
> to add "user origin" stylesheets to every document.
Aren't opts global tho? If they were instanced per compositor I could
probably use
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
Are they sandboxed? Asking for a friend that could be interested in
adding WebExtensions support.
Fabrice
--
Fabrice
On 2015-09-08 12:01 PM, Fabrice Desré 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
Are they sandboxed? Asking for a friend that could be interested in
adding WebExtensio
On 2015-09-08 11:51 AM, Simon Sapin wrote:
On 08/09/15 17:02, meh. wrote:
[1]: https://github.com/meh/miserve/blob/master/SERVO.md
Style
The style hooks are required to implement user-styles.
There should be a way to prepend a stylesheet to any page.
You can use
http://doc.servo.org/servo
On 08/09/15 17:02, meh. wrote:
[1]: https://github.com/meh/miserve/blob/master/SERVO.md
Style
The style hooks are required to implement user-styles.
There should be a way to prepend a stylesheet to any page.
You can use
http://doc.servo.org/servo/util/opts/struct.Opts.html#structfield.use
This doesn’t directly address your requirements, but it's related:
https://github.com/servo/servo/issues/7379
On Tue, Sep 8, 2015 at 5:02 PM, meh. wrote:
> I recently started working on a browser using Servo and I started
> writing down some of the needs I have from my embedding point of view,
>
I recently started working on a browser using Servo and I started
writing down some of the needs I have from my embedding point of view,
you can find them here[1].
I am aware it's probably too soon to make a completely functional
browser using Servo and that the Rust API is nowhere near stable, bu
8 matches
Mail list logo