Dictionary ausgeben



Ein komplettes Dictionary ausgeben (jeweils: Schlüssel / Wert):
(Wenn man als Dictionary z.B. einen Font angibt, so kann man herausfinden, wie die einzelnen Zeichen benannt sind(key).)

   /browse_dict
   { { exch
       (key: ) print ==
       (val: ) print ==
     } forall
   } bind def

© Holger Gehringer, Dezember 1998