From 827f99e7d3ef01552cdea0345654b97ad678b833 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Fri, 19 Jun 2015 17:55:01 -0600
Subject: [PATCH] gui: more digits in DDS monitor

---
 artiq/gui/moninj.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/artiq/gui/moninj.py b/artiq/gui/moninj.py
index 9d8495c5e..280c2f909 100644
--- a/artiq/gui/moninj.py
+++ b/artiq/gui/moninj.py
@@ -138,7 +138,7 @@ class _DDSWidget(QtGui.QFrame):
 
     def set_value(self, ftw):
         frequency = ftw*self.sysclk/2**32
-        self._value.setText("<font size=\"9\">{:.3f} MHz</font>"
+        self._value.setText("<font size=\"6\">{:.7f} MHz</font>"
                             .format(float(frequency)/1e6))