util/misc.py
changeset 806 abf1afc1f04d
parent 781 cdc6393705ce
child 814 5743cbdff669
--- a/util/misc.py	Mon Aug 27 22:13:43 2012 +0200
+++ b/util/misc.py	Mon Aug 27 23:36:57 2012 +0200
@@ -3,7 +3,9 @@
 """
 
 import os,sys
-    
+
+from TextViewer import TextViewer
+
 # helper func to check path write permission
 def CheckPathPerm(path):
     if path is None or not os.path.isdir(path):
@@ -23,3 +25,9 @@
     else:
         return classpath
 
+class IECCodeViewer(TextViewer):
+    
+    def __del__(self):
+        TextViewer.__del__(self)
+        if getattr(self, "_OnClose"):
+            self._OnClose(self)
\ No newline at end of file