Mateusz Biliński 654e157eff Added plug-in deactivation mechanism, which allows plug-ins to clean up after themselves (eg. disconnecting handlers made in GUI); GUI extension points handlers are removed from list. ... Updated Length Notifier plug-in so that it can be properly deactivated.		2008-06-03 13:40:27 +00:00
..
length_notifier.py	Added plug-in deactivation mechanism, which allows plug-ins to clean up after themselves (eg. disconnecting handlers made in GUI); GUI extension points handlers are removed from list.	2008-06-03 13:40:27 +00:00