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 pa

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/2a6f3dde00801374d3b2a7042

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 u

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