On Wed, 10 Feb 2010, Henrique wrote:

> Em 9 de fevereiro de 2010 Allin escreveu:
>
>
> On Mon, 8 Feb 2010, Allin Cottrell wrote:
>
> > On Tue, 9 Feb 2010, Henrique wrote:
> >
> > I have just one more suggestion: In my humble opinion it would be
> > better blue .gretl icons and gray .inp icons. What do you think?

I don't really have an opinion on that -- if you'd prefer to have
the colors switched I can do that.

I think the color of the session file (.gretl) icons file should have more emphasis,
since this type of file is (I think), more often used. So, in my opinion, the .gretl
icons should be blue and the .inp icons should be gray.

But this is just a matter of aesthetics, ok? ;)

Best,
Henrique