[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @table without @item
From: |
Karl Berry |
Subject: |
Re: @table without @item |
Date: |
Mon, 8 Oct 2012 22:53:48 GMT |
Also, I think that the right margin should be narrower in Info too
for @quotation.
I agree. That's always been the documented behavior of @quotation,
after all. I didn't realize it wasn't the case. Although users will
surely be unhappy, "wasting" precious screen columns ...
another @-command like that indents but do not narrow the right margin,
Sounds ok to me.
Could be named @passage, or @indentedblock @blockindent...
Out of those, I'd go with @indentedblock. Or @leftindented?
Or @filleddisplay? Ugly, but more self-descriptive ...
Whatever the name, since presumably it is trivial to add, I think it's
worth doing before the release, to give people an alternative for the
old behavior of @quotation.
k
- Re: @table without @item,
Karl Berry <=