Tools/TRPreviewer.py

changeset 805
83ca4d1ff648
parent 791
9ec2ac20e54e
child 880
52ed20236a1c
--- 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