On 12/07/2011 06:59 PM, Jean-Marc Lasgouttes wrote: > Le 08/12/11 00:45, Richard Heck a écrit : >> I thought about this for a while, and decided that, while you are >> correct about this, in principle, it's something I'd prefer to have >> per-document. If you object to that, then we can change it, of course. > > To me, it is a user preference for all document (for example, people > may want that for UserGuide). Did you have requests for buffer-local > setting? Your solution gives both more (per-document) and less (no > luck with documents from others) functionality. > I was mostly just thinking about my own use. Certain documents, I think I'd like this for. Others not so much.
Richard
