On Tuesday, April 1, 2014 5:56:53 PM UTC+5:30, Jonathan Kew wrote:
Hi,
We have a property in greprefs.js layout.css.dpi by which we can
control pixel size , but this doesn't work in Windows. There is
another property layout.css.devPixelsPerPx which control font size
in
Hi,
We have a property in greprefs.js layout.css.dpi by which we can control
pixel size , but this doesn't work in Windows. There is another property
layout.css.devPixelsPerPx which control font size in Windows but this needs
to be modified each time as per system DPI. I need to show font size
On 1/4/14 13:05, bhargava.animes...@gmail.com wrote:
Hi,
We have a property in greprefs.js layout.css.dpi by which we can
control pixel size , but this doesn't work in Windows. There is
another property layout.css.devPixelsPerPx which control font size
in Windows but this needs to be modified
3 matches
Mail list logo