I was recently working with folding and noticed a dangerous behavior
that I would like see changed if possible. I was working on an html
document with the setup something like:
<div id="section_1">...
(dangerous place to backspace)
<div id="section_2">...
(dangerous place to backspace)
<div id="section_3">...
(dangerous place to backspace)
What I noticed was if your cursor was on one of the lines that I
labeled (dangerous place to backspace) above and you backspaced it
would delete the entire folded content. What is especially troublesome
is that the only indication that it happened is the little ... graphic
disappears.
The behavior I would like to suggest is that if you backspace in one of
the above situations the fold opens automatically and one character is
deleted. This way if I really did want to delete it all I can select it
and do so otherwise I am given a clear indication of what happened.
Sincerely,
Eric Curtis