<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
As said before, a thing that would be probably needed is having a larger,<br>
probably doubled column (now are all fixed at the same width), so i'm<br>
wondering:<br>
<br>
* Is this needed at all? <br></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* Do we want only the *last* column eventually bigger?<br>
* May we want any column bigger?<br>
<br>
i would tend for the second, since while ui wise it kinda makes sense (the<br>
column just opened is kinda the most important) it makes the logic of code<br>
dramatically simpler and less error prone<br></blockquote><div><br>With the current proposal the last page is either 3/4 of the screen or covers the whole screen. <br>I don't see a case where it would make sense to have the last page smaller than the previous one.<br>
<br><br><br><br></div></div>