657
edits
KaKiLa
Joined 16 November 2011
m
→make output format a valid input format
| Line 10: | Line 10: | ||
An output format that prints valid input commands, so one can copy and re-execute the code. | An output format that prints valid input commands, so one can copy and re-execute the code. | ||
From IRC | From IRC | ||
(04:57:05 PM) jwe: It might not be too hard to implement what you want. There is a flag in the pr-output functions for pr_as_read_format and many (but probably not all) of the types that are printed there do something with that. And it is not hooked in to the format function, so you can't enable it. | (04:57:05 PM) jwe: It might not be too hard to implement what you want. There is a flag in the pr-output functions for pr_as_read_format and many (but probably not all) of the types that are printed there do something with that. And it is not hooked in to the format function, so you can't enable it. | ||
(04:57:31 PM) jwe: pr-output.cc and pr_as_read_syntax | (04:57:31 PM) jwe: pr-output.cc and pr_as_read_syntax | ||