Tools/TRPreviewer.py

changeset 805
83ca4d1ff648
parent 791
9ec2ac20e54e
child 880
52ed20236a1c
diff -r 3465556892de -r 83ca4d1ff648 Tools/TRPreviewer.py
--- a/Tools/TRPreviewer.py	Mon Jan 03 17:45:11 2011 +0100
+++ b/Tools/TRPreviewer.py	Tue Jan 04 17:37:48 2011 +0100
@@ -853,4 +853,4 @@
         
         @return flag signaling if any widget was loaded (boolean)
         """
-        return len(self.widgets) > 0
\ No newline at end of file
+        return len(self.widgets) > 0

eric ide

mercurial