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
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
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
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
4 matches
Mail list logo