On Tue, 21 Jul 2015 at 17:16 Ben Bacarisse <ben.use...@bsb.me.uk> wrote:
> Christian Gollwitzer <aurio...@gmx.de> writes: > > > On 21.07.2015 04:55, Chris Angelico wrote: > >> Sounds like a flaw in the PDF - it creates indentation in some way > >> other than leading spaces/tabs. > > > > PDF never uses tabs and spaces for indentation. In a PDF file, > > typically all words are placed using a drawing operator individually, > > the space is made up by your eyes when see the file. > > It's not really a PDF issue. It's to do with how the document is > produced. I've just looked at a few PDF files and I have found all > three layout methods used for code: positioning, spaces and tabs. Of > course those that use spaces may be violating some PDF rule or other, > but such files certainly exist in the wild. > They're not violating any PDF rule. PDF as a format was not designed with this kind of usage in mind. The idea of a PDF is that contains as much information as is required to unambiguously represent the *appearance* of a document. It's really a vectorised image format (like SVG) but with a few extra document-like features (e.g. pages). -- Oscar
-- https://mail.python.org/mailman/listinfo/python-list