design a plugin to reload a module at the click of a button.

[GoogleCodeExporter]

Having a plugin function that could reload a module at the click of a
button could be useful when designing a new plugin and testing it on a
page. This way, changes could be made to the code and the plugin could be
reloaded instead of having to quit Crunchy each time (then restart,
navigate to the test page, etc.).  This would be particularly useful for
the style experiment page that can be used when trying to design a new
Pygments style.

Original issue reported on code.google.com by andre.ro...@gmail.com on 3 Sep 2008 at 12:01

[GoogleCodeExporter]

Instead of clicking a button, this function should be available from an 
interpreter.
 We need to
1. deregister a plugin
2. remove it from sys ...
3. register it again.

Original comment by andre.ro...@gmail.com on 23 Aug 2009 at 12:22