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.
Thorsten
--
Nichts ist schwerer und erfordert mehr Charakter, als sich in offenem
Gegensatz zu seiner Zeit zu befinden und zu sagen: Nein!
- Kurt Tucholsky
pgphyRFJwNC24.pgp
Description: PGP signature
-- NEdit Develop mailing list - [email protected] http://www.nedit.org/mailman/listinfo/develop
