On 12/11/2017 16:36, Emilio Cobos Álvarez wrote:
On 11/12/2017 05:14 PM, Xidorn Quan wrote:
I doubt if there is anything changed since then (except that we still
haven't pushed this on csswg), so maybe we still shouldn't remove it.
I'm definitely ok with adding something like that if there's an use-case
and demand for it... But given I haven't been able to find any actual
usage of it, not even internal, I suspect there isn't much?
Related, but not exactly the same (so please carry on with whatever you
want to do with mozmm): browser chrome at least has a usecase for a CSS
unit that matches 1 device pixel on various dpis, because layout already
adjusts some (but not all!) sizes to align to device pixels and this
causes issues when we basically want "make a line that is 1 device pixel
wide". We can workaround the lack of such a unit with CSS variables and
something like:
@media (min-resolution: 2dppx) {
--mydevicepixel: 0.5px;
}
but it's tedious to do for dpi on windows (which has a lot more
variations than on macOS) and probably a perf nightmare.
~ Gijs
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform
