Method help_dump

postscript.py:909–916

(self)

            output().psdict(dump)

    def help_dump(self):
        print("Dump dictionary:  dump <dict>")
        # print("If <dict> is empty, the whole dictionary stack is dumped.")
        print("Standard PostScript dictionaries:")
        if len(self.options_dump) > 0:
            last = self.options_dump[-1]
        for dict in self.options_dump:
            print((('└─ ' if dict == last else '├─ ') + dict))

    # undocumented ... what about proprietary dictionary names?
    options_dump = ('systemdict', 'statusdict', 'userdict', 'globaldict',