I have adapted the VR3 plugin to run in a tab in the log pane instead of in
its own pane. The way I did it, it's not strictly a plugin, but it has all
the same functionality. There is a script to toggle the tab on or off, and
a button to run the script. It was easy to make the change. I'm
I'm glad to say that the pylint command is working again, and better than
ever. The PR is now in the latest version of the devel branch.
Before, pylint would block Leo - make it unresponsive - until it finished,
which sometimes took a long time. Now it does not block, and you can tee
it up
