Re: [Gretl-users] close button cosmetics
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.