On Sun, 16 Sep 2007, Sven Schreiber wrote: > Hi fellow gretl users (and also developers), > > not terribly important, but I'm wondering about the (size of the) close > button in many gretl windows, for example in script, script output, and > console windows. It takes the entire width of the window, at the bottom. > Is that really necessary? It happens to me relatively often that I hit > it by accident, when I aim for the scrollbar or something like that. So > it's a bit annoying. Actually all these windows seem to also have a > small close button in the toolbar at the top (a cross), not even > mentioning the close-window-button of the OS-level window manager. > > So could the largest of these three close buttons maybe be abolished?
I don't think I have any real objection to that. The big close button at the foot of many windows was at one time the only means of closing them, other than via the window-manager. Now it's arguably redundant. Anyone else have thoughts on this? Allin.
