[Gretl-users] close button cosmetics

[Sven Schreiber]

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?

Just thinking out loud...

-sven