On Mon, Mar 21, 2016 at 1:09 PM Karl Hegbloom <address@hidden> wrote:
The attached screenshot shows a few more problems I'm seeing. The tm file is also attached. I wonder if it looks different on other people's computer?On Mon, Mar 21, 2016 at 11:56 AM Karl Hegbloom <address@hidden> wrote:Any idea how to fix it?It seems to me that it used to work fine. It might be something that broke with one of the recent changes to the PDF writer, but I'm not certain. I've not used that paragraphsign prefixed paragraph numbering much yet.Because PDF accepts that character fine when I run that sed filter, I suspect that the problem is somewhere in TeXmacs, in how it translates the text from it's internal coding to the one in the PDF.... the resulting PDF has the paragraphsign in the outlines the way it's supposed to. I guess if I actually used that thing that looks like a u with a double quote above it in the text of the document in any section or paragraph headings, there would be paragraph signs instead of that letter there, which would not be correct.I've got a document style sheet that puts the paragraphsign ¶ in front of the paragraph number. It shows up fine in the document, both at the start of the paragraph and in the table of contents, but in the PDF outlines, it shows up as ű.If I then run the command:
pdftk inputfile.pdf dump_data_utf8 | sed -r -e 's,ű,¶,g' | pdftk inputfile.pdf update_info_utf8 - output outputfile.pdf
