Thank you, Khaled and others, for your quick responses. Like Szantovitch, I've used the View Logs dialog nearly daily, but the first person I asked about the change had no idea what dialog I meant. mIRC is wonderful software, and it's used by many different people in many different ways.
