Re: [dev-servo] Last week for testing potential IRC replacements

2019-10-09 Thread Paul Rouget
Now that irccloud is gone, what do you people do? Use a IRC client? Moved to one of these platforms? On Fri, Oct 4, 2019 at 4:05 PM Josh Bowman-Matthews wrote: > Freenode is still a candidate for us. The candidates listed here > require actual feedback because they are different from IRC; Freeno

Re: [dev-servo] C# wrapper feasibility - question

2019-05-02 Thread Paul Rouget
What you can do today, with C# (or any language that can load a C library) is to render a page in a GL buffer, and get few events about what's going on in the page (new title, page navigation, resize, etc. See: https://github.com/servo/servo/blob/master/components/embedder_traits/lib.rs#L114). It

[dev-servo] Do not update to Xcode 10 just yet

2018-09-24 Thread Paul Rouget
The latest xcode update will crash the OS while compiling Servo. See: https://github.com/servo/servo/issues/21792 ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo

Re: [dev-servo] Closing tree for a little while.

2018-07-17 Thread Paul Rouget
1 On Tue, Jul 17, 2018 at 7:55 AM Paul Rouget wrote: > > I'll be attempting to land a change in Saltfs > (https://github.com/servo/saltfs/pull/856) that will break any future > android builds until this Servo PR lands: > https://github.com/servo/servo/pull/20912 > > Goin

[dev-servo] Closing tree for a little while.

2018-07-16 Thread Paul Rouget
I'll be attempting to land a change in Saltfs (https://github.com/servo/saltfs/pull/856) that will break any future android builds until this Servo PR lands: https://github.com/servo/servo/pull/20912 Going to do that now, hope it won't take too long. ___

Re: [dev-servo] Question over future of embeding into applications

2018-05-02 Thread Paul Rouget
Afaik, there is no short term plan to bring back CEF. But using Servo with .Net has been done before. Old code, but that could inspire you: https://github.com/paulrouget/servofocus/ On Wed, May 2, 2018 at 5:41 PM, RW via dev-servo wrote: > Hi, > I just thought to ask > are there any plans to bri

Re: [dev-servo] embedding as a separate program/process [WAS: Dropping CEF support?]

2018-02-07 Thread Paul Rouget
> Let servo be an entirely separate program, which just happens to be called and controlled by an embedding application - similar to what surf+tabbed are doing. Is that really better than a entirely different process for everything except the rendering part? Because Servo is designed to work that

Re: [dev-servo] Dropping CEF support?

2018-01-29 Thread Paul Rouget
> What does "3rd party project" mean in this case? It's not clear to me how you > could do a CEF wrapper externally without forking and removing glutin > entirely. Why do we need glutin for CEF? If I'm not mistaken, the only part of glutin that is useful in this case is creating the GL buffer, r

Re: [dev-servo] Dropping CEF support?

2018-01-29 Thread Paul Rouget
https://github.com/servo/servo/pull/19900 On Tue, Jan 30, 2018 at 1:27 AM, Patrick Walton wrote: > Let's get rid of it. > > Patrick > > On Jan 29, 2018 4:22 PM, "Paul Rouget" wrote: >> >> AFAIK the CEF port is not used by anyone, is not maintained,

[dev-servo] Dropping CEF support?

2018-01-29 Thread Paul Rouget
AFAIK the CEF port is not used by anyone, is not maintained, and is not tested. I'm not even sure it works. I believe the CEF port should be a 3rd party project, and it should not rely on Glutin. Dropping CEF would help me with my work on unforking Glutin. Any reason to keep CEF? ___

Re: [dev-servo] Future of BrowserHTML and Servo nightly builds

2018-01-23 Thread Paul Rouget
embedding UI toolkit? It's not possible yet, but the same way we have allow_navigation, we could allow servo to let the embedder resolve/redirect an URL, or even provide the content, like with Gecko protocol handlers. > > Thanks! > > > On 01/22/2018 09:42 AM, Paul Rouget wrote

[dev-servo] Future of BrowserHTML and Servo nightly builds

2018-01-22 Thread Paul Rouget
Servo Nightly in the near future. Also - I'd like to add that the MiniUI we built for ServoShell might look a bit simplistic, but we found that having a keyboard-driven browser is surprisingly satisfying, especially for developers. We hope you will enjoy it as much as we do :) -- Paul R

Re: [dev-servo] No disk IO?

2017-10-10 Thread Paul Rouget
AM, Simon Sapin wrote: > On 10/10/2017 10:34, Paul Rouget wrote: >> >> Does it make sense to make it so that Servo does do any disk IO and >> delegate everything to the embedder? >> >> For example, on Android, reading the resources file is hacky because >>

[dev-servo] No disk IO?

2017-10-10 Thread Paul Rouget
Does it make sense to make it so that Servo does do any disk IO and delegate everything to the embedder? For example, on Android, reading the resources file is hacky because we have to copy the files at startup to the sdcard. Not because we can't have resources files in the apk, but because servo

Re: [dev-servo] Test cases for (incremental) compile times (PSA: disable incremental compilation for now)

2017-10-04 Thread Paul Rouget
On Wed, Oct 4, 2017 at 2:41 PM, Simon Sapin wrote: > On 04/10/2017 13:44, Nicholas Matsakis wrote: >> >> - Configure servo to use "system rust" and to enable incremental > > > By the way, with a few recent patches you can now skip mach entirely and run > `cargo build -p servo` or `(cd ports/servo

[dev-servo] Embedding Servo - features of interests

2017-04-11 Thread Paul Rouget
We have been experimenting with embedding Servo in 3rd party rust application, with the goal to understand better the needs of embedders, identify issues with current Servo implementation, and determine which features we wish to be exposed. Some early findings are documented here: https://github.co

Re: [dev-servo] Servo embedding story & killing mozbrowser

2016-11-14 Thread Paul Rouget
On Sat, Nov 12, 2016 at 1:46 AM, wrote: > On Friday, November 11, 2016 at 2:05:28 AM UTC-8, Paul Rouget wrote: > >> We would like a Servo-specific embedding API, designed in a way that: >> - it is optimised for Servo (we don't want to be limited by the webkit >> or

[dev-servo] Servo embedding story & killing mozbrowser

2016-11-11 Thread Paul Rouget
I'm describing here: https://github.com/paulrouget/servo-embedding-api Then: - I will describe precisely the next milestones (glutin/miniservo port, then mozbrowser killing plan) - I will file relevant bugs. The same way I did for the initial BrowserHT

Re: [dev-servo] What should be the unit of debugging in Servo?

2016-09-06 Thread Paul Rouget
> More generally, tabs, iframes, workers, etc. all make up a set of browsing contexts. The question then becomes: what set of browsing contexts should be the unit of debugging? Or put differently: what set of browsing contexts should be under control of the debugger, so that pausing the debugger pa

Re: [dev-servo] Questions about constellation, sandboxing and multiprocess

2016-08-02 Thread Paul Rouget
On Tue, Aug 2, 2016 at 6:47 PM, Jack Moffitt wrote: >> First, is multiprocess and sandboxing actively supported? > > I tested this right before the nightly release, and it was working > fine and didn't seem to have bad performance. Note that you can run -M > or -M and -S, but not -S by itself (whi

[dev-servo] Questions about constellation, sandboxing and multiprocess

2016-08-02 Thread Paul Rouget
I'd like to have a better understanding of how sandboxing and multiprocess work. First, is multiprocess and sandboxing actively supported? Is Servo tested with the "-M -S" options? What's the status of the sandbox? Is there any reasons for these options to not be turned on by default? Do we want t

[dev-servo] Changes in the browserhtml labels

2016-05-10 Thread Paul Rouget
Labels are not great, but that's the best thing we have today to prioritize browserhtml bugs. The meanings of these labels are changing. Don't be surprised to see the labels being shuffled around as we are triaging. - A-browserhtml/P1 -> necessary to run a demo properly - A-browserhtml/P2 -> nice

Re: [dev-servo] Output profiling data as a timeline

2016-05-03 Thread Paul Rouget
This is awesome! I'm under the impression that it stops profiling after the page has loaded. Is that right? On Thu, Apr 28, 2016 at 9:28 PM, Nick Fitzgerald wrote: > As of https://github.com/servo/servo/pull/10694, you can dump the profiling > data from the `components/profile/time.rs` module as

[dev-servo] List of Servo and Browser.html bugs for June release

2016-03-14 Thread Paul Rouget
Here: http://paulrouget.com/bhtml-servo-issues/ Many of these bugs are not assigned. We are planning to release a first version of Servo+Browser.html in June. I'd like to highlight these 4 meta bugs: - https://github.com/servo/servo/issues/9914 [meta] github.com bugs - https://github.com/servo/s

Re: [dev-servo] Persistent sessions student project

2016-02-28 Thread Paul Rouget
Happy to hear that :) Where can I find more information about your plan? Does the plan include hooking localStorage to the persistent storage? On Fri, Feb 26, 2016 at 9:56 PM, Daniel Defisher wrote: > Hi, > > Our team has gotten servo up and running on fedora 22. This is the email > reporting ou

Re: [dev-servo] IndexDB project

2015-12-14 Thread Paul Rouget
On Tue, Dec 15, 2015 at 6:56 AM, Robert O'Callahan wrote: > On Tue, Dec 15, 2015 at 12:33 AM, Paul Rouget wrote: >> >> On Tue, Dec 15, 2015 at 5:27 AM, Manish Goregaokar >> wrote: >> > On Tue, Dec 15, 2015 at 9:39 AM, Robert O'Callahan >> >

Re: [dev-servo] IndexDB project

2015-12-14 Thread Paul Rouget
On Tue, Dec 15, 2015 at 5:27 AM, Manish Goregaokar wrote: > On Tue, Dec 15, 2015 at 9:39 AM, Robert O'Callahan > wrote: > >> >> FWIW I think this project falls into the category of "things we know will >> work in Servo". It might be more valuable to do a project from which we >> would learn more.

[dev-servo] diverging Servo' Browser API from Gecko' Browser API?

2015-11-12 Thread Paul Rouget
to dev-servo. dev-platform cc'ed. context: browser.html + servo There are some changes we'd like to make to the Browser API. At least, we'd like to always use event.detail instead of event.details (because DOM events use detail, not details). Also, the details field in Gecko can be a string, or

[dev-servo] Thanks for all the bug fixes :)

2015-11-03 Thread Paul Rouget
Woke up this morning, pulled, compiled, and saw the first flawless rendering of our browserhtml-servo test case. http://imgur.com/jp9XMOp (don't pay attention to the design, it's just for testing) It doesn't look like much, but it's a huge improvement compared to what we had 10 weeks ago (stackin

Re: [dev-servo] "Hacking Servo for noobs" moving it to servo repo or to wiki?

2015-10-22 Thread Paul Rouget
HACKING_QUICKSTART.md: https://github.com/servo/servo/pull/8165 On Thu, Oct 22, 2015 at 11:19 PM, Jack Moffitt wrote: > HACKING_QUICKSTART.md ? > > On Thu, Oct 22, 2015 at 8:36 AM, Simon Sapin wrote: >> On 22/10/15 20:35, Josh Matthews wrote: >>> >>> I'd prefer a separate file. There's a lot of

Re: [dev-servo] "Hacking Servo for noobs" moving it to servo repo or to wiki?

2015-10-22 Thread Paul Rouget
k wiki would be nice. >> >> 2015-10-22 13:59 GMT+09:00 Paul Rouget : >>> >>> You probably saw this guide I put together: >>> https://gist.github.com/paulrouget/2f00941e6e82aeecad23 >>> >>> I'd like to move it to Servo's repository or

[dev-servo] "Hacking Servo for noobs" moving it to servo repo or to wiki?

2015-10-21 Thread Paul Rouget
You probably saw this guide I put together: https://gist.github.com/paulrouget/2f00941e6e82aeecad23 I'd like to move it to Servo's repository or to Servo's wiki. Does it make sense? I should probably rename it ("Hacking Servo: how to start") and remove the "me" and "I" references. Should it go

Re: [dev-servo] Need some mentoring for layout bugs and help with tools

2015-10-08 Thread Paul Rouget
Thanks! This is going to help. On Thu, Oct 8, 2015 at 4:22 PM, Josh Matthews wrote: > With regards to documentation, > https://github.com/servo/servo/wiki/Getting-started-with-layout is what we > have right now. > > > On 2015-10-08 8:03 AM, Paul Rouget wrote: >> >

Re: [dev-servo] Need some mentoring for layout bugs and help with tools

2015-10-08 Thread Paul Rouget
On Thu, Oct 8, 2015 at 2:03 PM, Paul Rouget wrote: > I found out there are non-documented options (--debug dump-layer-tree > for example). Are there more? https://github.com/servo/servo/issues/7926 -- Paul ___ dev-servo mailing list dev

[dev-servo] Need some mentoring for layout bugs and help with tools

2015-10-08 Thread Paul Rouget
I'm trying to fix these 2 issues: https://github.com/servo/servo/issues/7816 https://github.com/servo/servo/issues/7868 I'd appreciate if someone could give me some hints to unblock me. Also, is there any "bird view" documentation of the Servo architecture? I kind of understand how constellation

Re: [dev-servo] Rust embedding

2015-09-08 Thread Paul Rouget
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, >

[dev-servo] What would be the right way to build a headless js event loop?

2015-08-13 Thread Paul Rouget
For browser.html, we need something a bit more sophisticated than the servo binary (glutin port). I’m looking for a way to build a runtime that would load a JS file, execute it and quit only once script and callbacks are all executed or when the event loop get a special “quit” event. Like nodejs.