xrandr: Use more decimal places when printing various rates
authorVille Syrjälä <ville.syrjala@linux.intel.com>
Fri, 31 May 2013 14:01:53 +0000 (17:01 +0300)
committerAaron Plattner <aplattner@nvidia.com>
Thu, 20 Feb 2014 00:10:44 +0000 (16:10 -0800)
commit8f9b993342fddfceaa1afbec2996ce10038f10d7
tree35935966fbaf2c81e642797c296cdb4b8319c165
parent7ede207f9064fd88427026e38818819c2c8422bb
xrandr: Use more decimal places when printing various rates

Using just one decimal place for dotclock and refresh rates loses quite
a bit of information. When dealing with 60Hz vs. 59.94Hz refresh rate
modes for example, it's useful to see at least two decimal places. For
the dotclock in similar cases, three decimal places seems quite a bit
better than just one.

Signed-off-by: Ville Syrjälä <ville.syrjala@linux.intel.com>
Reviewed-by: Aaron Plattner <aplattner@nvidia.com>
xrandr.c