cache_source for docs in compile_string and compile_file don't cache sourceif filename is enough fix display of doc output better key-bindings for doc display Rev: lib/master.pike.in:1.394 Rev: lib/modules/Tools.pmod/Hilfe.pmod:1.139