Warning unnecessarily about discarding edited tree of recently opened
file -- fixed
Attempts to fix checking of menu items; probably failed