Re: What is dom/browser-element/ used for?

2019-02-28 Thread Kris Maglione 

On Thu, Feb 28, 2019 at 11:45:29AM +0200, Henri Sivonen wrote:

It appears dom/browser-element/ was created for Gaia. Is it used for
something still? WebExtensions perhaps?


We've talked about giving access to WebExtensions (bug 1318532; 
partly because Google provides a similar  element, and 
partly because it would solve a lot of other problems), but as 
of now they can't use it.

___
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform

Re: What is dom/browser-element/ used for?

2019-02-28 Thread J. Ryan Stinnett 
Yes, it's currently used for Responsive Design Mode in DevTools. I believe
that is the only place it's used in the tree today.

- Ryan

On Thu, 28 Feb 2019 at 12:24, Henri Sivonen  wrote:

> I think I found a user in dev tools:
>
> https://searchfox.org/mozilla-central/rev/2a6f3dde00801374d3b2a704232de54a132af389/devtools/client/responsive.html/components/Browser.js#140
>
> On Thu, Feb 28, 2019 at 11:45 AM Henri Sivonen 
> wrote:
> >
> > It appears dom/browser-element/ was created for Gaia. Is it used for
> > something still? WebExtensions perhaps?
> >
> > --
> > Henri Sivonen
> > hsivo...@mozilla.com
>
>
>
> --
> Henri Sivonen
> hsivo...@mozilla.com
> ___
> dev-platform mailing list
> dev-platform@lists.mozilla.org
> https://lists.mozilla.org/listinfo/dev-platform
>
___
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform

Re: What is dom/browser-element/ used for?

2019-02-28 Thread Henri Sivonen 
I think I found a user in dev tools:
https://searchfox.org/mozilla-central/rev/2a6f3dde00801374d3b2a704232de54a132af389/devtools/client/responsive.html/components/Browser.js#140

On Thu, Feb 28, 2019 at 11:45 AM Henri Sivonen  wrote:
>
> It appears dom/browser-element/ was created for Gaia. Is it used for
> something still? WebExtensions perhaps?
>
> --
> Henri Sivonen
> hsivo...@mozilla.com



-- 
Henri Sivonen
hsivo...@mozilla.com
___
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform

What is dom/browser-element/ used for?

2019-02-28 Thread Henri Sivonen 
It appears dom/browser-element/ was created for Gaia. Is it used for
something still? WebExtensions perhaps?

-- 
Henri Sivonen
hsivo...@mozilla.com
___
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform