Re: [Gretl-devel] grep 1.9.8, once again
On Mon, 19 Mar 2012, Summers, Peter wrote:
I also think that disabling this stuff for the next release is the
best way to go.
Thanks, Peter (and Berend). BTW, "grep"?? That shows what I was
thinking about when I made my last post.
When development resumes after the next release, I think that one
question is: what do people generally expect of the behavior of a
tabbed editor? What are the dominant examples? Obviously, we're free
to depart from the norm (assuming there is one) if we reckon we have
a compelling reason to do so. But we shouldn't just reinvent the
wheel arbitrarily.
On the multi-tabbed design I'm more than usually willing to listen
to what seems right to others, since -- as I've said already -- I'm
not a great fan of tabbed windows myself. I sometimes find tabs
useful in Firefox, but that's about it.
Allin