--- a/TextViewer.py	Wed May 23 10:48:40 2012 +0200
+++ b/TextViewer.py	Wed May 23 11:45:54 2012 +0200
@@ -202,7 +202,7 @@
         
         self.RefreshHighlightsTimer = wx.Timer(self, -1)
         self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer)
-    
+        
     def __del__(self):
         self.RefreshHighlightsTimer.Stop()