From fd37daff0523200585e9b6f0ee8cedfdfe44492f Mon Sep 17 00:00:00 2001
From: ThorstenB <brehmt@gmail.com>
Date: Mon, 24 Jan 2011 20:34:53 +0100
Subject: [PATCH] 777-200: integrated Gijs' CDU new CDU/radio panel view (and
 minor preferences.xml issue)

---
 preferences.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/preferences.xml b/preferences.xml
index 42157e508..4a25675cf 100644
--- a/preferences.xml
+++ b/preferences.xml
@@ -575,7 +575,7 @@ Started September 2000 by David Megginson, david@megginson.com
 
   <mouse>
     <hide-cursor type="bool" userarchive="y">true</hide-cursor>
-    <cursor-timeout-sec type="int" userarchive="y">10.0</cursor-timeout-sec>
+    <cursor-timeout-sec type="double" userarchive="y">10.0</cursor-timeout-sec>
   </mouse>
 
   <replay>