[Gretl-users] close button cosmetics

2007-09-16 Thread 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

Re: [Gretl-users] close button cosmetics

2007-09-16 Thread Allin Cottrell
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 windo

Re: [Gretl-users] close button cosmetics

2007-09-18 Thread ab . news at laposte . net
Allin Cottrell a écrit : > On Sun, 16 Sep 2007, Sven Schreiber wrote: > > >> It takes the entire width of the window, at the bottom. >> Is that really necessary? > I don't think I have any real objection to that. > Anyone else have thoughts on this? > > Allin. I agree with Sven! Anyway, the

Re: [Gretl-users] close button cosmetics

2007-09-17 Thread Allin Cottrell
On Tue, 18 Sep 2007, ab.news(a)laposte.net wrote: > Allin Cottrell a écrit : > > On Sun, 16 Sep 2007, Sven Schreiber wrote: > > > >> It takes the entire width of the window, at the bottom. > >> Is that really necessary? > > > I don't think I have any real objection to that. > > Anyone else h