"R. Lahaye" <[EMAIL PROTECTED]> writes:
| I don't agree qualifying this as "wrong fix"; I agree that the
| "default" should leave the paper
| choice untouched, as Jean-Marc explains. But what the "default" does
| now is totally bullocks, and
| need to go anyway (it's stupidly hardcoded to default everywhere to
| USLetter!).
| I'd see the removal as step one. Step two is then, to (re)implement
| what it supposed to do.
My way would be to fix it right... there is no need for separate steps
here.
| Anyway, would a "better-fix" approach be:
>
| 1) keep the PAPER_DEFAULT in the papersize enum.
>
| 2) reimplement ALL papersize switches to actually recognize
| "PAPER_DEFAULT" as
| a separate entity, without automagically equalizing it to
| "PAPER_USLETTER".
>
| 3) The latter would also mean a change of the preferences file. At
| present both,
| "PAPER_DEFAULT" and "PAPER_USLETTER", result in no output to the
| preferences file,
| 'cause they're equal.
| That must change. PAPER_DEFAULT: no output, PAPER_USLETTER:
| output usletter to preferences file!
| Would that get approval?
I'd put this one on hold. It might be a bug, but it is not a
regression.
PS. Please use a linelenght shorter than 80 chars... 70 is nice.
--
Lgb