OK, fixed the latex bug, but it turns out there's another issue in the database you sent me, namely that some strings are not UTF-8 encoded (they happen in Japanese cards like 'like father like son'). This causes the XML export to trip up.
It might be possible to work around this from Mnemosyne's side, but I'm not sure I would be doing you a service then anyway, because, even though there would be no error on import, the Kanji still would not show up correctly... What do you think? Peter PS: if you want, I can prepare you a prerelease installer which fixes the latex export bug On Monday, 7 January 2013 21:16:25 UTC+1, Peter Bienstman wrote: > > The good news is that I can reproduce this with the database you sent me, > the bad new is that I haven't found the cause yet... > > Peter > > On Friday, 4 January 2013 17:25:26 UTC+1, Peter Bienstman wrote: >> >> Could you privately mail me your database and the media directory? Or >> perhaps a smaller database which also shows the problem? >> >> Cheers, >> >> Peter >> >> On 01/04/2013 05:18 PM, Gwern Branwen wrote: >> > On Fri, Jan 4, 2013 at 2:39 AM, Peter Bienstman >> > <[email protected]> wrote: >> >> Did you change the preamble / postamble recently? >> > >> > Well, not *recently* - I changed something there years ago. I forget >> > how, though, and I might've undone the changes because when I cat >> > latex/*, it looks pretty normal: >> > >> > dvipng -D 200 -T tight tmp.dvi >> > \end{document} >> > \documentclass[12pt]{article} >> > \pagestyle{empty} >> > \begin{document} >> > >> >> Does the problem still occur if you do 'compact database - clear >> unused >> >> media files'? >> > >> > I actually did that before I even tried exporting. >> > >> > -- You received this message because you are subscribed to the Google Groups "mnemosyne-proj-users" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msg/mnemosyne-proj-users/-/BDAw1RNl18sJ. For more options, visit https://groups.google.com/groups/opt_out.
