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.


Reply via email to