tools/get-state: Round refresh rates to three decimal places

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2465>
This commit is contained in:
Daniel van Vugt 2022-08-17 16:02:04 +08:00 committed by Marge Bot
parent a2636ce2df
commit 9a2c5d7d74

View File

@ -113,7 +113,7 @@ class MonitorConfig:
self.print_data(level=3, is_last=False, lines=lines,
data=f'Dimension: {mode[1]}x{mode[2]}')
self.print_data(level=3, is_last=False, lines=lines,
data=f'Refresh rate: {mode[3]}')
data=f'Refresh rate: {mode[3]:.3f}')
self.print_data(level=3, is_last=False, lines=lines,
data=f'Preferred scale: {mode[4]}')
self.print_data(level=3, is_last=False, lines=lines,