Quoting Thorsten Haude <[EMAIL PROTECTED]>: > Hi, > > * Bert Wesarg wrote (2008-01-05 22:32): > >can someone please give the rational, why the line gutter size needs > >to be the same for all tabs in the same window? > > I think that was my idea, see #1055649. The alternative is to either > change the window's size on tab change or to pick a text area size > which the user did not choose. I think both options are worse than an > empty column in the gutter.
Agreed. Tony. PS A belated Happy New Year to all! -- NEdit Develop mailing list - [email protected] http://www.nedit.org/mailman/listinfo/develop
