Re: [Wikitech-l] Hi-DPI/Retina display density bracketing for $.devicePixelRatio()?

2015-05-06 Thread Brion Vibber
On Wed, May 6, 2015 at 2:29 AM, Jon Robson jdlrob...@gmail.com wrote: As stated on the bug I'd like us to get to a point where we don't have to think about this. Ideally a JavaScript dev should be able to create an oojs ui image element that is compatible with this. A server side function

Re: [Wikitech-l] Hi-DPI/Retina display density bracketing for $.devicePixelRatio()?

2015-05-06 Thread Jon Robson
As stated on the bug I'd like us to get to a point where we don't have to think about this. Ideally a JavaScript dev should be able to create an oojs ui image element that is compatible with this. A server side function should also exist for creating this. On 6 May 2015 6:57 am, Prateek Saxena

[Wikitech-l] Hi-DPI/Retina display density bracketing for $.devicePixelRatio()?

2015-05-04 Thread Brion Vibber
I've noticed that the image previews in Hovercards ('Popups' extension) do not respect high-density displays and can end up a little blurry because of this. While patching the extension, someone recommended to me to bracket the detected density to the values we use for default thumb generation on