Rewrote highlight0line extension to be dumber but more reliable
Style directories and non-text document windows in the Windows menu