[Notion-devel] elastic/proportional tab sizes: removal?

[Arnout E. <no...@bz...>]

Hi,

As some of you might have noticed, notion git is starting to get into shape 
and i've been fixing some bugs here and there.

>From feedback from existing Ion users, the 'elastic/proportional' tab size
functionality that was merged into Notion from 
http://github.com/gwash/ion-3plus is not appreciated by everyone. I don't care
for it much myself either, and the code is not very neat (actually one of the 
things I fixed was an endless loop in this code, causing notion to crash and
fill up a CPU).

We should at least make this behavior optional - would anyone be against just 
reverting it entirely?


Kind regards,

Arnout