add a little extra padding around text in new tab theme

[wxWidgets.git] / wxPython / demo / GetMouseState.py

diff --git a/wxPython/demo/GetMouseState.py b/wxPython/demo/GetMouseState.py
index c010c073dc5c5346d42a0cd8020cead2b85e3cd9..f51a8741ffb7e7508b35e42dec2cb1399b3e5968 100644 (file)
--- a/wxPython/demo/GetMouseState.py
+++ b/wxPython/demo/GetMouseState.py
@@ -110,6 +110,10 @@ class TestPanel(wx.Panel):
         self.cmd.SetLabel( str(ms.cmdDown) )
 
 
+    def ShutdownDemo(self):
+        self.timer.Stop()
+        del self.timer
+        
 #----------------------------------------------------------------------
 
 def runTest(frame, nb, log):