Dov Feldstern wrote:
> I'm attaching a series of patches which are a step in the right
> direction, but still not there yet. However, I think that they only make
> things better, so I would be happy to have them applied once someone
> looks them over...
I let others comment on it. These patches mi
Dov Feldstern wrote:
Juergen Spitzmueller wrote:
Jean-Marc Lasgouttes wrote:
Juergen, could you tell me when setting local_font is necessary? I did
not see the problem when creating a new listing inset with caption.
The problem showed up when you created a listings inset with a caption
befor
Dov Feldstern wrote:
> My previous patch handled the encoding --- I still think it should be
> applied in full (I will send in an updated patch soon). Jurgen had said
> he applied only those parts he understood, so I gather that the rest was
> not understood well enough --- I will try to comment it
