https://bugs.kde.org/show_bug.cgi?id=228427
Jochen Trumpf <jochen.tru...@anu.edu.au> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jochen.tru...@anu.edu.au
--- Comment #2 from Jochen Trumpf <Jochen Trumpf anu edu au> 2010-02-25
21:12:00 ---
Hi,
the mechanisms for dvi and pdf files are very different, so there are likely to
be more inconsistencies like this one. For the dvi case there is a whole
separate class in generators/dvi/dvisourcesplitter.cpp that handles the
splitting and sanitizing of the requested source link.
In the case of pdf there are only a few lines of code in
generators/poppler/generator_pdf.cpp in the method
PDFGenerator::fillViewportFromSourceReference. The result is then passed on to
synctex to handle.
I guess, the sourcesplitter class could be generalized and then used in both
the dvi and pdf cases, but that would require quite some work and careful
thinking (like what exactly can synctex handle vs how dvi source specials look
like).
Why is it crucial that exactly the same syntax works for both cases?
--
Configure bugmail: https://bugs.kde.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
_______________________________________________
Okular-devel mailing list
Okular-devel@kde.org
https://mail.kde.org/mailman/listinfo/okular-devel
