Quoting Bert Wesarg <[EMAIL PROTECTED]>:

> Hi,
>
> can someone please give the rational, why the line gutter size needs
> to be the same for all tabs in the same window?

The window is sized in accordance with the number of visible columns in the
document. If you have more than one tab, the number of visible columns in each
of the tabs' documents is the same. Now if the line number gutter width is
different between tabs, but you are showing the same number of columns of each
tab's document content, you've got extra space in some tabs (unless you change
window size as you change tabs - not a good idea, I reckon). So you want to
show more document columns in some tabs than in others? In that case, the
"size" of the window changes according to the tab displayed, without the
actual pixel width changing. Hmmm.

Quite honestly, I like it that the line number gutter is the same size in each
tab: it means that the left margin is consistently placed in all tabs.

Tony
-- 
NEdit Develop mailing list - [email protected]
http://www.nedit.org/mailman/listinfo/develop

Reply via email to