Emmanuele Bassi 773e544c51 settings: Make unscaled-font-dpi override font-dpi
The :unscaled-font-dpi property is used to override the existing
:font-dpi value when running on high DPI density displays; since it's a
write-only property we don't need to have a separate storage, nor we
need to choose between :font-dpi and :unscaled-font-dpi depending on
whether or not either has been set. If we select which one to use
between :font-dpi and :unscaled-font-dpi when computing the font
resolution, we end up breaking the code that relies on changing
:font-dpi directly on a per-Settings basis.
2014-01-23 12:17:09 +00:00
..
2011-11-10 19:05:39 +01:00
2013-11-19 00:31:53 +00:00
2013-12-12 18:51:11 +00:00
2012-02-23 12:01:11 +00:00
2013-09-19 22:58:43 +01:00
2013-04-04 11:53:39 +01:00
2013-08-19 23:37:43 +01:00
2012-04-27 12:30:48 +01:00
2012-04-27 12:28:49 +01:00
2011-10-19 15:23:55 +01:00
2012-04-27 12:30:48 +01:00
2012-06-05 12:28:25 +02:00
2012-01-16 23:35:16 +00:00
2012-06-11 13:47:29 +01:00
2012-04-30 17:17:41 +01:00
2013-10-10 13:50:10 +01:00
2012-04-27 12:30:48 +01:00
2012-04-27 12:30:50 +01:00
2013-05-06 10:04:21 -07:00
2013-04-04 11:53:39 +01:00
2012-09-03 20:54:43 +01:00
2013-10-10 13:50:10 +01:00
2012-08-20 18:28:22 +01:00
2013-12-12 18:51:11 +00:00