On 15 February 2011 07:45, John A Meinel <email address hidden> wrote:
> A further option is one more step between View and Raw, which is a view
> that only escapes into HTML, but does not do any highlighting, etc.
I think that would be good and useful. One specific case for this is
copy-and-pasting bits of the file or the whole thing, and we should
check that works well in practice, including handling of whitespace
etc.
On 15 February 2011 07:45, John A Meinel <email address hidden> wrote:
> A further option is one more step between View and Raw, which is a view
> that only escapes into HTML, but does not do any highlighting, etc.
I think that would be good and useful. One specific case for this is
copy-and-pasting bits of the file or the whole thing, and we should
check that works well in practice, including handling of whitespace
etc.