Issue #6: moved timer-delayed window closing to Tools