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