Sam Williams

Don't re-open the tree view when changing tabs

1

Related to issue #19, but this happens even without other plugins. If I manually close the tree view then I don't want it re-opened automatically every time I tab between...