Fold/Unfold sources when clicking on their label
Instead of having to click each +/-, it would be easier if the sources folding/unfolding was also bound to a click on their label in visualisation mode.
Instead of having to click each +/-, it would be easier if the sources folding/unfolding was also bound to a click on their label in visualisation mode.