On Sat, Feb 23, 2013 at 08:27:03PM +0100, Patrice Dumas wrote: > > If I recall well, it was Karl decision. My point of view is that having > an API for output control similar with what is available for HTML is not > a good idea, but maybe some minor customization set through varaibles > may be right. In the case of OPEN_QUOTE_SYMBOL it is not that easy > because there is already an 'automatic' customization of using unicode > quotes in some cases. I'll see what I can do.
In fact it was very easy. So now Info too obey OPEN_QUOTE_SYMBOL and CLOSE_QUOTE_SYMBOL. -- Pat
