From fd795724f2f50b3977a83f5c150e803cf5193394 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Thu, 6 Aug 2015 18:03:05 +0800
Subject: [PATCH] gui: better display of None

---
 artiq/gui/tools.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/artiq/gui/tools.py b/artiq/gui/tools.py
index f388521d8..ac003cf9c 100644
--- a/artiq/gui/tools.py
+++ b/artiq/gui/tools.py
@@ -10,6 +10,8 @@ def force_spinbox_value(spinbox, value):
 
 
 def short_format(v):
+    if v is None:
+        return "None"
     t = type(v)
     if t is int or t is float:
         return str(v)