[Gretl-users] close button cosmetics

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