From 9a2c5d7d74f76215d434de99cef407d75979d57a Mon Sep 17 00:00:00 2001
From: Daniel van Vugt <daniel.van.vugt@canonical.com>
Date: Wed, 17 Aug 2022 16:02:04 +0800
Subject: [PATCH] tools/get-state: Round refresh rates to three decimal places

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2465>
---
 tools/get-state.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/get-state.py b/tools/get-state.py
index b4494af93..e70479320 100755
--- a/tools/get-state.py
+++ b/tools/get-state.py
@@ -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,