Issue #1040: Clicking on an info button of a subterm from a conditional subsection unselects the subsection root
Fixed