On tree nodes previously selected (those that are highlighted), ctrl+click ought to deselect a previously selected node when it is ctrl+clicked again. Currently, ctrl+click does not toggle (off)...