commit | aad13b355261bfc12f6fe1a137470cce0768e1f7 | [log] [tgz] |
---|---|---|
author | Carsten Hiesserich <carsten.hie@gmail.com> | Sat Aug 03 12:39:02 2013 +0200 |
committer | Carsten Hiesserich <carsten.hie@gmail.com> | Sat Aug 03 12:40:17 2013 +0200 |
tree | 6eb856887185d24298e9a961d09e701773c1c6ff | |
parent | c6d796d2b9ef882b6333dea09249170a2ab6572f [diff] |
Replaced VexWidget#dispose with a DisposeListener The dispose method is not called, when the VexEditor is closed, so instances of VexWidget remain on the heap. According to the javadocs of Widget#dispose we now use a listener instead. Change-Id: I41a9fabb6d5397123dc297bfcc10313e78deb4fb Signed-off-by: Carsten Hiesserich <carsten.hie@gmail.com>