|
From: | martin rudalics |
Subject: | Re: 23.0.60; Resizing may delete windows |
Date: | Thu, 27 Mar 2008 08:48:49 +0100 |
User-agent: | Mozilla Thunderbird 1.0 (Windows/20041206) |
> That would be a bad default in my opinion. > It is inconvenient for users if a window gets that small. > The default value for `window-min-height' avoids that > inconvenience. The default value for `window-min-height' asserts that the window may get deleted in that case. Do you think that auto-deleting a window is more convenient than making it that small?
[Prev in Thread] | Current Thread | [Next in Thread] |