Implemented new GUI behavior; the checkbox menu item Log is unchecked
when the log window is manually closed, selecting/checking the Log menu
item toggles the visibility of the log window.