When Locate Current Document action is checked, opening a document or
switching between open documents shows Projects tool view if it is
hidden. This sudden tool view appearance is very annoying and forces me
to keep the Locate Current Document action disabled by carefully
double-clicking on it each time I look for the current document in the
project tree. In this way 667a9ac4 made
locating the current document less convenient.

With this fix, one can reasonably compare the convenience of keeping the
Locate Current Document action checked versus unchecked.