Force timer interval to int. This silences an exception for Tk and a warning from GTK when a float is given.

dopplershift · dopplershift · commit 721ad8911cc0 · 2010-06-30T16:31:23.000Z
svn path=/trunk/matplotlib/; revision=8478
diff --git a/lib/matplotlib/backend_bases.py b/lib/matplotlib/backend_bases.py
@@ -944,6 +944,9 @@ def _get_interval(self):
         return self._interval
 
     def _set_interval(self, interval):
+        # Force to int since none of the backends actually support fractional
+        # milliseconds, and some error or give warnings.
+        interval = int(interval)
         self._interval = interval
         self._timer_set_interval()
 
