On 04/06/2012 06:30 PM, Manuel López-Ibáñez wrote:
width if it's set; otherwise I would lean toward unlimited width. And I'm
not sure why we need a right margin at all.
The right margin is because:
Ah, I read "margin" and assumed it meant you were leaving blank space at
the right side of the screen. Now I understand.
Well, we have to expand outside anyway, because I need the column
info, so it seemed a waste to expand twice. Do you have a strong
preference for expanding twice? I don't care so much either way.
No, I guess it's fine this way.