#90 Tools -> Options greyed out

[Branko Radovanovic]

When all edit windows are closed, entire Tools menu is
greyed out, so e.g. Options are inaccessible. A little
bit confusing; other than that it's insignificant.